diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-07-16 16:04:56 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-07-16 16:04:56 +0000 |
commit | 193152de0a76a0e6ae1190880b1022d72bbb68c7 (patch) | |
tree | c1a19512ab4f405c00112405548e55c77c9fdb60 /test/system/two_smt_engines.cpp | |
parent | 918be3958749556aa3d4f8a4b11273e5f64c08a5 (diff) |
stronger two_smt_engines test
Diffstat (limited to 'test/system/two_smt_engines.cpp')
-rw-r--r-- | test/system/two_smt_engines.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/system/two_smt_engines.cpp b/test/system/two_smt_engines.cpp index 35d6c92cf..587db7656 100644 --- a/test/system/two_smt_engines.cpp +++ b/test/system/two_smt_engines.cpp @@ -31,7 +31,8 @@ int main() { SmtEngine smt(&em); SmtEngine smt2(&em); Result r = smt.query(em.mkConst(true)); + Result r2 = smt2.query(em.mkConst(true)); - return r == Result::VALID ? 0 : 1; + return r == Result::VALID && r2 == Result::VALID ? 0 : 1; } |