Actions
Bug #9848
closedru.ispras.verilog.parser.VerilogVisVerilog2SmvTestCase.runTest_Pci_Bus_Verilog_Mv_files_PciNorm: Function declaration '$ND' has not been found
Start date:
10/04/2019
Due date:
% Done:
100%
Estimated time:
Detected in build:
master
Platform:
Published in build:
0.1.3-beta-201002
Description
ERROR: Function declaration '$ND' has not been found ERROR: [Internal] null java.lang.IllegalArgumentException at ru.ispras.fortress.util.InvariantChecks.checkTrue(InvariantChecks.java:53) at ru.ispras.fortress.util.InvariantChecks.checkTrue(InvariantChecks.java:38) at ru.ispras.fortress.util.InvariantChecks.checkFalse(InvariantChecks.java:68) at ru.ispras.verilog.parser.VerilogTranslator.exit(VerilogTranslator.java:112) at ru.ispras.verilog.parser.backends.syntax.checker.VerilogStaticChecker.checkFunctionCall(VerilogStaticChecker.java:651) at ru.ispras.verilog.parser.backends.syntax.checker.VerilogStaticChecker.access$000(VerilogStaticChecker.java:72) at ru.ispras.verilog.parser.backends.syntax.checker.VerilogStaticChecker$ExprTreeVisitor.onOperationBegin(VerilogStaticChecker.java:97) at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:139) at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123) at ru.ispras.verilog.parser.backends.syntax.checker.VerilogStaticChecker.checkReference(VerilogStaticChecker.java:468) at ru.ispras.verilog.parser.backends.syntax.checker.VerilogStaticChecker.checkReference(VerilogStaticChecker.java:480) at ru.ispras.verilog.parser.backends.syntax.checker.VerilogStaticChecker.checkReference(VerilogStaticChecker.java:497) at ru.ispras.verilog.parser.backends.syntax.checker.VerilogStaticChecker.checkReference(VerilogStaticChecker.java:527) at ru.ispras.verilog.parser.backends.syntax.checker.VerilogStaticChecker.onAssignBegin(VerilogStaticChecker.java:129) at ru.ispras.verilog.parser.walker.VerilogNodeVisitor$2.onBegin(VerilogNodeVisitor.java:253) at ru.ispras.verilog.parser.walker.VerilogNodeVisitor.onBegin(VerilogNodeVisitor.java:700) at ru.ispras.verilog.parser.core.TreeWalker.onBegin(TreeWalker.java:102) at ru.ispras.verilog.parser.core.TreeWalker.start(TreeWalker.java:87) at ru.ispras.verilog.parser.VerilogSyntaxBackend.start(VerilogSyntaxBackend.java:80) at ru.ispras.verilog.parser.VerilogSyntaxBackends.start(VerilogSyntaxBackends.java:55) at ru.ispras.verilog.parser.VerilogTranslator.start(VerilogTranslator.java:187) at ru.ispras.verilog.parser.sample.VerilogPrinter.main(VerilogPrinter.java:45) at ru.ispras.verilog.parser.VerilogBenchmarkTest.runTest(VerilogBenchmarkTest.java:72) at ru.ispras.verilog.parser.VerilogBenchmarkTest.runTest(VerilogBenchmarkTest.java:58) at ru.ispras.verilog.parser.VerilogTexas97TestCase.runTest_Pci_Bus_Verilog_Mv_files_PciNorm(VerilogTexas97TestCase.java:514)
Updated by Sergey Smolov almost 5 years ago
It seems to be a dilemma here: either to remove unimplemented function calls from Verilog code or to mark the test case as "should fall".
Updated by Alexander Kamkin almost 5 years ago
Added --library-file
option. See SystfTestCase
as an example.
The library file format is as follows: ((function (integer|real)|task) identifier '\n')*
.
For example,
function integer $myFunction task $myTask
Updated by Sergey Smolov almost 5 years ago
- Status changed from New to Resolved
- Assignee changed from Alexander Kamkin to Sergey Smolov
- % Done changed from 0 to 100
Updated by Sergey Smolov almost 5 years ago
- Status changed from Resolved to Verified
Updated by Sergey Smolov about 4 years ago
- Status changed from Verified to Closed
- Published in build set to 0.1.3-beta-201002
Actions