Add tbtop config option
authorClifford Wolf <clifford@clifford.at>
Sat, 1 Jul 2017 16:33:36 +0000 (18:33 +0200)
committerClifford Wolf <clifford@clifford.at>
Sat, 1 Jul 2017 16:33:36 +0000 (18:33 +0200)
commit6ef12a4b31d16bb2c9f9776f5348213ba2ea6a1a
tree8be371ac1388c784a86eaf11befcfc7c998ee6b8
parent3fb72628de902d16b1f9f721ae56cdc33b5d0d8c
Add tbtop config option
docs/source/reference.rst
sbysrc/sby_core.py
sbysrc/sby_engine_abc.py
sbysrc/sby_engine_aiger.py
sbysrc/sby_engine_smtbmc.py