projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 87eb475) | patch
btor engine: handle models with 0 properties
authorN. Engelhardt <nak@symbioticeda.com>
Mon, 18 May 2020 11:11:25 +0000 (13:11 +0200)
committerN. Engelhardt <nak@symbioticeda.com>
Mon, 18 May 2020 11:11:25 +0000 (13:11 +0200)
commit9fdece3dab365b5f1421d9d142dc95755183bfec
tree45f930b56a998e58128399099981b3f85639bb92tree
parent87eb47502d0343a2489b3f317a92b4e9ebe0965fcommit | diff
btor engine: handle models with 0 properties
sbysrc/sby_engine_btor.py diff | blob | history