int gras_bench_always_begin(const char *location, int line)
{
- xbt_assert0(!benchmarking, "Already benchmarking");
+ xbt_assert(!benchmarking, "Already benchmarking");
benchmarking = 1;
if (!timer)
int gras_bench_always_end(void)
{
- xbt_assert0(benchmarking, "Not benchmarking yet");
+ xbt_assert(benchmarking, "Not benchmarking yet");
benchmarking = 0;
xbt_os_timer_stop(timer);
duration = xbt_os_timer_elapsed(timer);
int gras_bench_once_begin(const char *location, int line)
{
double *ir = NULL;
- xbt_assert0(!benchmarking, "Already benchmarking");
+ xbt_assert(!benchmarking, "Already benchmarking");
benchmarking = 1;
if (!locbuf || locbufsize < strlen(location) + 64) {
int gras_bench_once_end(void)
{
- xbt_assert0(benchmarking, "Not benchmarking yet");
+ xbt_assert(benchmarking, "Not benchmarking yet");
benchmarking = 0;
if (duration > 0) {
xbt_os_timer_stop(timer);