- if (PAPI_stop(event_set, &event_values[0]) != PAPI_OK) { // Error
- XBT_CRITICAL("Could not stop PAPI counters.\n");
- xbt_die("Error.");
- } else {
- for (unsigned int i = 0; i < counter_data.size(); i++) {
- counter_data[i].second += event_values[i];
- }
- }
+ if (event_set)
+ xbt_assert(PAPI_stop(event_set, &event_values[0]) == PAPI_OK, "Could not stop PAPI counters.");
+ for (unsigned int i = 0; i < counter_data.size(); i++)
+ counter_data[i].second += event_values[i];