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

fix(core): cancel-until 0 before solving

Browse source
This commit is contained in:
Simon Cruanes 2019-01-19 15:57:18 -06:00 • committed by Guillaume Bury
parent a88752759f
commit 4ca441fa38
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/core/Internal.ml
View file

@ -1950,6 +1950,7 @@ module Make(Plugin : PLUGIN)
add_clause_ st c add_clause_ st c
let solve (st:t) ?(assumptions=[]) () = let solve (st:t) ?(assumptions=[]) () =
cancel_until st 0;
Vec.clear st.assumptions; Vec.clear st.assumptions;
List.iter (Vec.push st.assumptions) assumptions; List.iter (Vec.push st.assumptions) assumptions;
try try