let get_action_path kf ki pre post =
Aorai_option.debug "Getting actions@\n";
try
let actions = Actions.find (kf,ki,pre,post) in
Aorai_option.debug "Actions have been found@\n";
Cil_datatype.Term.Map.fold
(fun v map acc ->
let assoc =
Cil_datatype.Term.Map.fold
(fun x r acc ->
Aorai_option.debug ~dkey:"action" "found binding for %a"
Cil_datatype.Term.pretty v;
(x,r) :: acc)
map []
in (v,assoc) :: acc)
actions []
with Not_found ->
Aorai_option.debug ~dkey:"action"
"Nothing to do for %a (statement %a), from state %s to state %s@\n%t"
Kernel_function.pretty kf Cil_datatype.Kinstr.pretty ki
pre.name post.name (test_action_bindings kf ki pre post);
[]