Fix various NDEBUG compiler warnings, closes #1255
authorClifford Wolf <clifford@clifford.at>
Sun, 11 Aug 2019 21:25:46 +0000 (23:25 +0200)
committerClifford Wolf <clifford@clifford.at>
Tue, 13 Aug 2019 11:29:03 +0000 (13:29 +0200)
commit0c5db07cd6cc3c19b926da21a46599f97592b20f
tree7f9e731067e7bc75524837b04ab245e3300ee18b
parentc851dc13108021834533094a8a3236da6d9e0161
Fix various NDEBUG compiler warnings, closes #1255

Signed-off-by: Clifford Wolf <clifford@clifford.at>
backends/aiger/xaiger.cc
frontends/aiger/aigerparse.cc
frontends/verific/verific.cc
kernel/log.h
passes/opt/opt_expr.cc
passes/techmap/abc9.cc