diff options
Diffstat (limited to 'backends/smt2')
| -rw-r--r-- | backends/smt2/smtio.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py index 14feec30d..3d8a51d8b 100644 --- a/backends/smt2/smtio.py +++ b/backends/smt2/smtio.py @@ -176,7 +176,10 @@ class SmtIo: self.unroll = False if self.solver == "yices": - if self.noincr or self.forall: + if self.forall: + self.noincr = True + + if self.noincr: self.popen_vargs = ['yices-smt2'] + self.solver_opts else: self.popen_vargs = ['yices-smt2', '--incremental'] + self.solver_opts |