Assert that box_unique_id is indeed unique
authorEddie Hung <eddie@fpgeh.com>
Mon, 3 Jun 2019 19:33:47 +0000 (12:33 -0700)
committerEddie Hung <eddie@fpgeh.com>
Mon, 3 Jun 2019 19:33:47 +0000 (12:33 -0700)
commitd018cd9fe3f65187b7f8a878994dfbc37308d653
treef94e7300a5c41e13a097b22c887100b445e1db4d
parent295bd8d0bf81dcb4ad07b1798e021dddcb5dfdc4
Assert that box_unique_id is indeed unique
frontends/aiger/aigerparse.cc