From 38a9077f0e56e31e4ae5303d286a44f364b8dd27 Mon Sep 17 00:00:00 2001 From: Ken Roe Date: Sun, 8 Sep 2024 22:22:45 +0700 Subject: [PATCH] Added z3 option --- examples/funabs/small_euf/run_bb_smtc.sby | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/funabs/small_euf/run_bb_smtc.sby b/examples/funabs/small_euf/run_bb_smtc.sby index 3b9e49eb8e9..d47c1b02e03 100644 --- a/examples/funabs/small_euf/run_bb_smtc.sby +++ b/examples/funabs/small_euf/run_bb_smtc.sby @@ -4,7 +4,7 @@ depth 100 smtc ../../theory.smtc [engines] -smtbmc --nounroll --dumpsmt2 +smtbmc --nounroll --dumpsmt2 z3 [script] read -formal euf.v