Skip to content
Snippets Groups Projects
Commit 42a67170 authored by Quentin Petitjean's avatar Quentin Petitjean
Browse files

Improve debug printing

parent 76bc3932
No related branches found
No related tags found
1 merge request!15Start of learning
Pipeline #36119 passed
Stage: build
Hide whitespace changes
Inline Side-by-side
src_colibri2/solver/scheduler.ml
+ 3
− 3
View file @ 42a67170
(*************************************************************************) (************************************************************************)
(* This file is part of Colibri2. *) (* This file is part of Colibri2. *)
(* *) (* *)
(* Copyright (C) 2014-2021 *) (* Copyright (C) 2014-2021 *)
...@@ -265,7 +265,7 @@ let run_one_step_propagation_l t = ...@@ -265,7 +265,7 @@ let run_one_step_propagation_l t =
Egraph.Backtrackable.run_daemon d att; Egraph.Backtrackable.run_daemon d att;
true true
| Some(_) -> true | Some(_) -> true
| None -> Debug.dprintf0 debug "Impossible"; | None -> Debug.dprintf0 debug "[Learning] Impossible";
raise ReachStepLimit raise ReachStepLimit
end end
end end
...@@ -276,7 +276,7 @@ let run_one_step_propagation_l t = ...@@ -276,7 +276,7 @@ let run_one_step_propagation_l t =
true end true end
end end
| None -> | None ->
Debug.dprintf0 debug "Impossible"; Debug.dprintf0 debug "[Learning] Impossible";
raise ReachStepLimit raise ReachStepLimit
let run_one_step_l t = let run_one_step_l t =
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment