Add log_assert to ensure no loops
authorEddie Hung <eddie@fpgeh.com>
Tue, 4 Jun 2019 19:01:25 +0000 (12:01 -0700)
committerEddie Hung <eddie@fpgeh.com>
Tue, 4 Jun 2019 19:01:25 +0000 (12:01 -0700)
commit7b186740d33972612cfc9f2ebe31258edb0cca2b
tree709c073b7003962c606626d64da35efe87a5126a
parent1b836c93bbaa3c85d4730b0251aed64cdf207422
Add log_assert to ensure no loops
backends/aiger/xaiger.cc