From 678bf5e03da30ed85f5b9e52d7add5dc34328659 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 20 Nov 2019 17:53:18 -0600
Subject: [PATCH] test: update `expect` field in toml

---
 tests/conf.toml | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/tests/conf.toml b/tests/conf.toml
index 5f7d40d0..2937876a 100644
--- a/tests/conf.toml
+++ b/tests/conf.toml
@@ -1,5 +1,5 @@
 
-provers = [ "sidekick", "read-status" ]
+provers = [ "sidekick", "read-status", "z3" ]
 default_expect = "sat"
 
 [sidekick]
@@ -17,13 +17,20 @@ cmd = "grep :status $file"
 unsat = ":status unsat"
 sat = ":status sat"
 
+[z3]
+
+cmd = "z3 $file"
+unsat = "unsat"
+sat = "^sat"
+
 [test]
 
 timeout=10
 problems = ".*\\.smt2"
 provers = [ "sidekick", ]
 
-expect = "program:read-status"
+# TODO: expect=[program:read-status; program:z3]
+expect = "program:z3"