Project

General

Profile

Bug #5004

[efsm][simulator][execution] ReferenceEfsmTestGeneratorTest.java : java.lang.RuntimeException: An error occured while trying to resolve a constraint.

Added by Sergey Smolov about 5 years ago. Updated about 5 years ago.

Status:
Rejected
Priority:
Normal
Category:
-
Target version:
Start date:
06/21/2014
Due date:
% Done:

0%

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

Description

Тест падает со следующей ошибкой:

java.lang.RuntimeException: An error occured while trying to resolve a constraint.
at ru.ispras.retrascope.engine.efsm.testgen.ReferenceEfsmTestGenerator.generateInputsForGuardedAction(ReferenceEfsmTestGenerator.java:389)
at ru.ispras.retrascope.engine.efsm.testgen.ReferenceEfsmTestGenerator.tryToTraverseTransition(ReferenceEfsmTestGenerator.java:339)
at ru.ispras.retrascope.engine.efsm.testgen.ReferenceEfsmTestGenerator.generateInputVectorRandomly(ReferenceEfsmTestGenerator.java:204)
at ru.ispras.retrascope.engine.efsm.testgen.ReferenceEfsmTestGenerator.generateSequenceRandomly(ReferenceEfsmTestGenerator.java:188)
at ru.ispras.retrascope.engine.efsm.testgen.ReferenceEfsmTestGenerator.start(ReferenceEfsmTestGenerator.java:155)
at ru.ispras.retrascope.engine.efsm.simulator.execution.ReferenceEfsmTestGeneratorTest.generate(ReferenceEfsmTestGeneratorTest.java:39)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:44)
at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)
at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:41)
at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:20)
at org.junit.internal.runners.statements.RunBefores.evaluate(RunBefores.java:28)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:76)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:50)
at org.junit.runners.ParentRunner$3.run(ParentRunner.java:193)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:52)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:191)
at org.junit.runners.ParentRunner.access$000(ParentRunner.java:42)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:184)
at org.junit.runners.ParentRunner.run(ParentRunner.java:236)
at org.junit.runner.JUnitCore.run(JUnitCore.java:157)
at com.intellij.junit4.JUnit4IdeaTestRunner.startRunnerWithArgs(JUnit4IdeaTestRunner.java:74)
at com.intellij.rt.execution.junit.JUnitStarter.prepareStreamsAndStart(JUnitStarter.java:211)
at com.intellij.rt.execution.junit.JUnitStarter.main(JUnitStarter.java:67)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at com.intellij.rt.execution.application.AppMain.main(AppMain.java:134)

History

#1

Updated by Sergey Smolov about 5 years ago

  • Target version set to 0.1
#2

Updated by Igor Melnichenko about 5 years ago

У меня не воспроизводится (684-я ревизия).

#3

Updated by Sergey Smolov about 5 years ago

  • Platform set to Windows x64

Может, дело в платформе? Никаких путей к файлам не прописывал?

#4

Updated by Igor Melnichenko about 5 years ago

Ничего, кроме переменной SMT_SOLVER_PATH (или как она называется).
У меня на двух компьютерах работает.

#5

Updated by Sergey Smolov about 5 years ago

  • Status changed from New to Rejected

Ага, понятно. Дело в переменной SMT_SOLVER_PATH (у меня она не создана).

Внес изменения в Wiki проекта.

Also available in: Atom PDF