Project

General

Profile

Bug #9075

java.lang.IllegalArgumentException: testNum 0 != 1 topModuleNum

Added by Sergey Smolov about 1 year ago. Updated 30 days ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
Engine (Parser)
Target version:
Start date:
07/07/2018
Due date:
% Done:

100%

Estimated time:
Detected in build:
master
Platform:
Published in build:
1.1.1-beta-190722

Description

java.lang.IllegalArgumentException: testNum 0 != 1 topModuleNum
    at ru.ispras.fortress.util.InvariantChecks.checkTrue(InvariantChecks.java:53)
    at ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulatorUtils.collectCoverage(EfsmSimulatorUtils.java:65)
    at ru.ispras.retrascope.engine.efsm.generator.test.TestMinimiser.minimise(TestMinimiser.java:139)
    at ru.ispras.retrascope.engine.smv.test.parser.SmvTestParser.start(SmvTestParser.java:103)
    at ru.ispras.retrascope.basis.Engine.start(Engine.java:217)
    at ru.ispras.retrascope.basis.ToolChain.start(ToolChain.java:111)
    at ru.ispras.retrascope.basis.Engine.start(Engine.java:217)
    at ru.ispras.retrascope.Retrascope$ToolRun.start(Retrascope.java:215)
    at ru.ispras.retrascope.Retrascope.main(Retrascope.java:456)
    at ru.ispras.retrascope.Retrascope.main(Retrascope.java:373)
    at ru.ispras.retrascope.util.ToolTest.runTest(ToolTest.java:81)
    at ru.ispras.retrascope.BaseTest.runTest(BaseTest.java:68)
    at ru.ispras.retrascope.sample.UartControllerAssertSmvTestbenchTestCase.runTest(UartControllerAssertSmvTestbenchTestCase.java:46)

History

#1

Updated by Sergey Smolov about 1 year ago

  • % Done changed from 0 to 100
  • Status changed from New to Resolved

Fixed

#2

Updated by Sergey Smolov about 1 year ago

  • Status changed from Resolved to Verified
#3

Updated by Sergey Smolov 30 days ago

  • Published in build set to 1.1.1-beta-190722
  • Status changed from Verified to Closed

Also available in: Atom PDF