let debug_display_all_specs () =
display_operations_spec_sorted_bycase ();
display "\n########\n# Loops specification:\n#";
let sortedLoopsIndex =
List.sort (fun r1 r2 ->
if r1.sid > r2.sid then 1
else if r1.sid < r2.sid then -1
else 0
) (Data_for_aorai.get_loops_index ())
in
List.iter
(fun stmt ->
Aorai_option.result "# stmt.sid=%d" stmt.sid;
Aorai_option.result "# loop pres : %s"
(Spec_tools.debug_display_stmt_all_pre
(Data_for_aorai.get_loop_ext_pre stmt));
Aorai_option.result "# %s"
(Spec_tools.debug_display_stmt_all_pre_bycase
(Data_for_aorai.get_loop_ext_pre_bycase stmt));
Aorai_option.result "# block pres : %s"
(Spec_tools.debug_display_stmt_all_pre
(Data_for_aorai.get_loop_int_pre stmt));
Aorai_option.result "# %s"
(Spec_tools.debug_display_stmt_all_pre_bycase
(Data_for_aorai.get_loop_int_pre_bycase stmt));
Aorai_option.result "# block posts: %s"
(Spec_tools.debug_display_stmt_all_pre
(Data_for_aorai.get_loop_int_post stmt));
Aorai_option.result "# %s"
(Spec_tools.debug_display_stmt_all_pre_bycase
(Data_for_aorai.get_loop_int_post_bycase stmt));
Aorai_option.result "# loop posts : %s"
(Spec_tools.debug_display_stmt_all_pre
(Data_for_aorai.get_loop_ext_post stmt));
Aorai_option.result "# %s"
(Spec_tools.debug_display_stmt_all_pre_bycase
(Data_for_aorai.get_loop_ext_post_bycase stmt));
)
sortedLoopsIndex;
display "# End of loops specification\n########\n"