use --witness option when calling pono
authorN. Engelhardt <nak@symbioticeda.com>
Wed, 12 Jan 2022 09:48:32 +0000 (10:48 +0100)
committerN. Engelhardt <nak@symbioticeda.com>
Wed, 12 Jan 2022 09:55:08 +0000 (10:55 +0100)
commit5a04ac3fccc91b86e8b66e7fab31ff5c261e1c51
tree677abaa94801a856987472f02392b7edb906e0c6
parentf5a41e5ab140c2f44a8a33d0f436d9d484f8dcdb
use --witness option when calling pono
sbysrc/sby_engine_btor.py