Run dffunmap before writing the design with aiger/btor/smt2 backends.
authorMarcelina Kościelnicka <mwk@0x04.net>
Fri, 31 Jul 2020 11:10:13 +0000 (13:10 +0200)
committerMarcelina Kościelnicka <mwk@0x04.net>
Fri, 31 Jul 2020 14:37:25 +0000 (16:37 +0200)
commitb172357161ea16a0734be6782b0744cf6b7108b6
tree5fb289de734f5a5b8b9fb8616228282060f01ed8
parentb6dc1c9da3b697da72fd13f6c0d59ac021fd49de
Run dffunmap before writing the design with aiger/btor/smt2 backends.
sbysrc/sby_core.py