projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5d72b11) | patch
Forcing rewrite pass rather than asserting if formula has been rewritten (#3748)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Fri, 14 Feb 2020 03:50:00 +0000 (00:50 -0300)
committerGitHub <noreply@github.com>
Fri, 14 Feb 2020 03:50:00 +0000 (19:50 -0800)
commitd84d67018234bb6bb24dd9183a888892c3bfd4d7
treed0399801251e103fd62eb0948e4f5aa77b2500d4tree
parent5d72b11a6abdd6d001be59058ca9db77ebd2e292commit | diff
Forcing rewrite pass rather than asserting if formula has been rewritten (#3748)

This ensures that users or developers don't accidentally break the solver either via options or changing the SMT engine flow so that the formula is not rewritten up to a given point.
src/smt/smt_engine.cpp diff | blob | history