Skip to content

Commit

Permalink
Added z3 option
Browse files Browse the repository at this point in the history
  • Loading branch information
Ken Roe committed Sep 8, 2024
1 parent c9f29fc commit 38a9077
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion examples/funabs/small_euf/run_bb_smtc.sby
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ depth 100
smtc ../../theory.smtc

[engines]
smtbmc --nounroll --dumpsmt2
smtbmc --nounroll --dumpsmt2 z3

[script]
read -formal euf.v
Expand Down

0 comments on commit 38a9077

Please sign in to comment.