Error if $currQ not found
authorEddie Hung <eddie@fpgeh.com>
Sat, 5 Oct 2019 16:06:13 +0000 (09:06 -0700)
committerEddie Hung <eddie@fpgeh.com>
Sat, 5 Oct 2019 16:06:13 +0000 (09:06 -0700)
commit3c6e5d82a62650a48027d35e6d92a7a88ad43a16
treebec2485f3cc747f6a39b54c758f61809c64d1b8d
parenta2ef93f03a1f75c25329c66d0e7d69da71e88e1f
Error if $currQ not found
backends/aiger/xaiger.cc