let check_ff_called ff call new_marks_in_call_outputs ff_called =
let call_id = (ff, call) in
let is_this_call (c, _) = (c.sid = call.sid) in
let new_call_marks =
try
let _, new_call_marks =
List.find is_this_call new_marks_in_call_outputs in
new_call_marks
with Not_found -> []
in
let missing_outputs =
match new_call_marks with
| [] ->
check_outputs call_id ff_called false
| _ ->
FctMarks.check_called_marks new_call_marks ff_called
in match missing_outputs with
| ([], false) -> None
| _ ->
let missing_out_act =
Act.mk_crit_missing_outputs ff call missing_outputs
in Some missing_out_act