stronger two_smt_engines test

diff --git a/test/system/two_smt_engines.cpp b/test/system/two_smt_engines.cpp
index 35d6c92cf067e31570cffb21bf11b771b9e09559..587db76569aa8fecc8ab41f9a66d2b5ea77111b6 100644 (file)
--- 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;
 }