Remove topo sort no-loop assertion, with test
authorEddie Hung <eddie@fpgeh.com>
Thu, 25 Apr 2019 04:06:53 +0000 (21:06 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 25 Apr 2019 04:06:53 +0000 (21:06 -0700)
commiteec314e2621d3d055d7810f4b7e573a99e0239b2
treeac78d9965b62f42d1e83696efdf16ba03b1eedb2
parentf96d82a5f1982ea86cf02182b33abe91c015b10d
Remove topo sort no-loop assertion, with test
backends/aiger/xaiger.cc
tests/simple_abc9/abc.box [new file with mode: 0644]
tests/simple_abc9/abc9.v
tests/simple_abc9/run-test.sh