- return 1;
- }
- }
-
- if(XBT_LOG_ISENABLED(mc_compare, xbt_log_priority_debug)){
- xbt_os_timer_stop(timer);
- xbt_dynar_push_as(initial_state_liveness->heap_comparison_times, double, xbt_os_timer_elapsed(timer));
-
- XBT_DEBUG("Heap comparison : %f", xbt_os_timer_elapsed(timer));
-
- xbt_os_timer_start(timer);
- }
-
- /* Stacks comparison */
- cursor = 0;
- stack_region_t stack_region1, stack_region2;
- int diff = 0, diff_local = 0;
-
- while(cursor < xbt_dynar_length(stacks1)){
- stack_region1 = (stack_region_t)(xbt_dynar_get_as(stacks1, cursor, stack_region_t));
- stack_region2 = (stack_region_t)(xbt_dynar_get_as(stacks2, cursor, stack_region_t));
- sp1 = ((mc_snapshot_stack_t)xbt_dynar_get_as(s1->stacks, cursor, mc_snapshot_stack_t))->stack_pointer;
- sp2 = ((mc_snapshot_stack_t)xbt_dynar_get_as(s2->stacks, cursor, mc_snapshot_stack_t))->stack_pointer;
- diff = compare_stack(stack_region1, stack_region2, sp1, sp2, heap1, heap2, equals);
-
- if(diff > 0){ /* Differences may be due to padding */
- diff_local = compare_local_variables(((mc_snapshot_stack_t)xbt_dynar_get_as(s1->stacks, cursor, mc_snapshot_stack_t))->local_variables->data, ((mc_snapshot_stack_t)xbt_dynar_get_as(s2->stacks, cursor, mc_snapshot_stack_t))->local_variables->data, equals);
- if(diff_local > 0){
- if(XBT_LOG_ISENABLED(mc_compare, xbt_log_priority_debug)){
- XBT_DEBUG("Different local variables between stacks %d", cursor + 1);
- errors++;
- }else{
- xbt_dynar_free(&stacks1);
- xbt_dynar_free(&stacks2);
- xbt_dynar_free(&equals);