Project

General

Profile

Actions

Bug #8808

closed

Module not found in vcegar-benchmarks/ipbdp

Added by Mikhail Lebedev over 6 years ago. Updated over 6 years ago.

Status:
Closed
Priority:
Normal
Target version:
Start date:
04/05/2018
Due date:
% Done:

100%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

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

Actions #1

Updated by Alexander Kamkin over 6 years ago

  • Status changed from New to Resolved
Actions #2

Updated by Mikhail Lebedev over 6 years ago

  • Status changed from Resolved to Verified
  • % Done changed from 0 to 100
Actions #3

Updated by Alexander Kamkin over 6 years ago

  • Status changed from Verified to Closed
Actions

Also available in: Atom PDF