Bug #8808
closedModule not found in vcegar-benchmarks/ipbdp
100%
Description
This error appears when running ru.ispras.verilog.parser.sample.vcegar.VcegarIpbdpHierVerilogPrinterTestCase and VcegarIpbdpOldVerilogPrinterTestCase in the Retrascope MC Benchmark project.
The corresponding Verilog files:
retrascope-mc-benchmark/src/main/verilog/vcegar-benchmarks/ipbdp/ipbdp_hier.v
retrascope-mc-benchmark/src/main/verilog/vcegar-benchmarks/ipbdp/old.v
The error:
java.lang.IllegalArgumentException: Module 'IPBDP_hier_lossy' cannot be found
at ru.ispras.fortress.util.InvariantChecks.checkTrue(InvariantChecks.java:53)
at ru.ispras.fortress.util.InvariantChecks.checkNotNull(InvariantChecks.java:109)
at ru.ispras.verilog.parser.elaborator.VerilogElaborator.expand(VerilogElaborator.java:334)
at ru.ispras.verilog.parser.elaborator.VerilogElaborator.start(VerilogElaborator.java:176)
at ru.ispras.verilog.parser.VerilogSyntaxBackends.start(VerilogSyntaxBackends.java:56)
at ru.ispras.verilog.parser.VerilogTranslator.start(VerilogTranslator.java:163)
...
Veritrans options:
--module-name IPBDP_hier