From 193152de0a76a0e6ae1190880b1022d72bbb68c7 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 16 Jul 2012 16:04:56 +0000
Subject: [PATCH] stronger two_smt_engines test

---
 test/system/two_smt_engines.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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;
 }
 
-- 
2.30.2