2.4.1 bug in example/bv/bv2

15 views
Skip to first unread message

de...@eng.ucsd.edu

unread,
Mar 10, 2018, 8:22:11 AM3/10/18
to Boolector
Example doesn't compile. Attached is a fixed version.
bv2.c
Reply all
Reply to author
Forward
0 new messages