Failed
org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless.testExportTimedStateMachinesAsSmv
Failing for the past 1 build
(Since Unstable
)
Error Message
resources/TimedModel/SmvFiles/Gate_StateMachine1.smv is not equal to testOutput/basicHeadless/Gate_StateMachine1.smv
Stacktrace
java.lang.AssertionError: resources/TimedModel/SmvFiles/Gate_StateMachine1.smv is not equal to testOutput/basicHeadless/Gate_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:84) at org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless.testExportTimedStateMachinesAsSmv(TestBasicOperationsHeadless.java:208)