replay_counter_example(Sol) :- length(Sol,Len),format('Replaying counter example with ~w bindings found by symbolic model checker~n',[Len]), state_space_reset, (replay_aux(Sol,_) -> true ; add_error(symbolic_model_checker,'Could not replay counter example: ',Sol) ).
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(module_information) does not exist
! goal: absolute_file_name(probsrc(module_information),_3299,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/symbolic_model_checker/ce_replay.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(state_space) does not exist
! goal: absolute_file_name(probsrc(state_space),_261,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/symbolic_model_checker/ce_replay.pl')])