Skip to content
[Jenkins]Jenkins
log in

Failed

org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless.testExportTimedStateMachinesAsSmv

Failing for the past 1 build (Since Unstable #37 )
Took 2.7 sec.

Error Message

testOutput/basicHeadless/Train_StateMachine1.smv is not equal to resources/TimedModel/SmvFiles/Train_StateMachine1.smv

Stacktrace

java.lang.AssertionError: testOutput/basicHeadless/Train_StateMachine1.smv is not equal to resources/TimedModel/SmvFiles/Train_StateMachine1.smv
	at org.junit.Assert.fail(Assert.java:88)
	at org.junit.Assert.assertTrue(Assert.java:41)
	at org.polarsys.chess.contracts.verificationService.test.runtime.util.TestResultsUtil$1.visitFile(TestResultsUtil.java:114)
	at org.polarsys.chess.contracts.verificationService.test.runtime.util.TestResultsUtil$1.visitFile(TestResultsUtil.java:1)
	at java.nio.file.Files.walkFileTree(Files.java:2670)
	at java.nio.file.Files.walkFileTree(Files.java:2742)
	at org.polarsys.chess.contracts.verificationService.test.runtime.util.TestResultsUtil.verifyDirsAreEqual(TestResultsUtil.java:103)
	at org.polarsys.chess.contracts.verificationService.test.runtime.util.TestResultsUtil.dirsAreEqual(TestResultsUtil.java:85)
	at org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless.testExportTimedStateMachinesAsSmv(TestBasicOperationsHeadless.java:208)