perror(bprintf("Impossible to open the suite file `%s'", argv[i]));
XBT_ERROR("Test suite `%s': NOK (system error)", testsuite_name);
rctx_armageddon(rctx, 1);
}
perror(bprintf("Impossible to open the suite file `%s'", argv[i]));
XBT_ERROR("Test suite `%s': NOK (system error)", testsuite_name);
rctx_armageddon(rctx, 1);
}