-
- while(cursor < xbt_dynar_length(s1->stacks)){
- stack1 = (mc_snapshot_stack_t)xbt_dynar_get_as(s1->stacks, cursor, mc_snapshot_stack_t);
- stack2 = (mc_snapshot_stack_t)xbt_dynar_get_as(s2->stacks, cursor, mc_snapshot_stack_t);
- diff_local = compare_local_variables(s1, s2, stack1, stack2, s1->regions[0]->data, s2->regions[0]->data);
- if(diff_local > 0){
- #ifdef MC_DEBUG
- if(is_diff == 0){
- xbt_os_walltimer_stop(timer);
- mc_comp_times->stacks_comparison_time = xbt_os_timer_elapsed(timer);
- }
- XBT_DEBUG("(%d - %d) Different local variables between stacks %d", num1, num2, cursor + 1);
- errors++;
- is_diff = 1;
- #else
-
- #ifdef MC_VERBOSE
- XBT_VERB("(%d - %d) Different local variables between stacks %d", num1, num2, cursor + 1);
- #endif
-
- reset_heap_information();
+
+ while (cursor < xbt_dynar_length(s1->stacks)) {
+ stack1 =
+ (mc_snapshot_stack_t) xbt_dynar_get_as(s1->stacks, cursor,
+ mc_snapshot_stack_t);
+ stack2 =
+ (mc_snapshot_stack_t) xbt_dynar_get_as(s2->stacks, cursor,
+ mc_snapshot_stack_t);
+ diff_local =
+ compare_local_variables(s1, s2, stack1, stack2, s1->regions[0]->data,
+ s2->regions[0]->data);
+ if (diff_local > 0) {
+#ifdef MC_DEBUG
+ if (is_diff == 0) {