let display_all_warnings_about_operations_specs() =
let listOfNames = (Data_for_aorai.getFunctions_from_c ()) in
let listOfNames = List.sort (String.compare) listOfNames in
List.iter
(fun name ->
let pre =
Data_for_aorai.get_func_pre ~securised:true name
in
let post =
Data_for_aorai.get_func_post_bycase ~securised:true name
in
if is_empty_pre_post pre then pasEtatAvantOp name;
if is_empty_post_bc post then pasEtatApresOp name
)
listOfNames;
if(List.length (Data_for_aorai.getIgnoredFunctions())) >0 then
let ignFuncs=List.fold_left
(fun ls s -> (ls^" "^s))
""
(List.sort (String.compare) (Data_for_aorai.getIgnoredFunctions()))
in
display ("Ignored functions: { "^ignFuncs^" }")