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

fix(sat): check for new atoms in termination check in final_check

Browse source
This commit is contained in:
Simon Cruanes 2022-08-27 23:08:58 -04:00
parent 5feb5d8e73
commit 01d0668fc6
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/sat/solver.ml
View file

@ -1734,7 +1734,7 @@ let solve_ ~on_progress (self : t) : unit =
if if
self.elt_head = AVec.size self.trail self.elt_head = AVec.size self.trail
&& has_no_delayed_actions self && has_no_delayed_actions self
&& self.next_decisions = [] && self.next_decisions = [] && H.is_empty self.order
then then
(* nothing more to do, that means the plugin is satisfied (* nothing more to do, that means the plugin is satisfied
with the trail *) with the trail *)