Allow module name to be determined by argument too
authorEddie Hung <eddieh@ece.ubc.ca>
Fri, 8 Feb 2019 20:40:43 +0000 (12:40 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Fri, 8 Feb 2019 20:40:43 +0000 (12:40 -0800)
commitfb8ad440a32da850e32765ec29119cacb3f3c27c
tree7a0ffe0f8b72e0cd4911b0d676bab35e23df116a
parentf1befe1b44ada400e979f43e1b35ebe022ff8fe8
Allow module name to be determined by argument too
frontends/aiger/aigerparse.cc
frontends/aiger/aigerparse.h