Project

General

Profile

Actions
Copy link

Bug #7412

closed

State consistency constraint violation in ProcessSimulator

Added by Mikhail Lebedev over 8 years ago. Updated about 8 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Sergey Smolov
Category:
Engine (Simulator)
Target version:
0.2
Start date:
07/20/2016
Due date:
% Done:

100%

Estimated time:
Detected in build:
master
Platform:
Windows x64
Published in build:
20161025

Description

Command-line arguments:
<path-to-b01>\b01.vhd --target vhdl-testbench;efsm;cgaa --toplevel b01 --output-file b01.smv --check-method bmc --engine smv-test-parser --overwrite-existing

Exception:
Exception in thread "main" ru.ispras.retrascope.basis.exception.RetrascopeRuntimeException: State consistency constraint violation: (EQ 7 0); original was (EQ STATO 0)
at ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator.checkInnerConsistency(ProcessSimulator.java:262)
at ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator.checkInnerConsistency(ModuleSimulator.java:340)
at ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator.simulateVector(ModuleSimulator.java:145)
at ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator.simulateSequence(ModuleSimulator.java:165)
at ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulatorUtils.collectCoverage(EfsmSimulatorUtils.java:74)
at ru.ispras.retrascope.engine.efsm.generator.test.TestMinimiser.minimise(TestMinimiser.java:131)
at ru.ispras.retrascope.engine.smv.test.parser.SmvTestParser.start(SmvTestParser.java:102)
at ru.ispras.retrascope.basis.Engine.start(Engine.java:214)
at ru.ispras.retrascope.basis.ToolChain.start(ToolChain.java:112)
at ru.ispras.retrascope.basis.Engine.start(Engine.java:214)
at ru.ispras.retrascope.Retrascope$ToolRun.start(Retrascope.java:207)
at ru.ispras.retrascope.Retrascope.main(Retrascope.java:414)
at ru.ispras.retrascope.Retrascope.main(Retrascope.java:367)

Actions
Copy link

Also available in: Atom PDF