simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Logging restarts

Browse source
This commit is contained in:
Guillaume Bury 2015-03-15 20:42:16 +01:00
parent 5047882fc7
commit 582530b9ee
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
solver/mcsolver.ml
View file

@ -794,6 +794,7 @@ module Make (L : Log_intf.S)(E : Expr_intf.S)
if nb_assigns() = St.nb_vars () (* env.nb_init_vars *) then raise Sat;
if n_of_conflicts >= 0 && !conflictC >= n_of_conflicts then
begin
L.debug 1 "Restarting...";
env.progress_estimate <- progress_estimate();
cancel_until 0;
raise Restart