Regression
org.overture.core.testing.samples.SampleExternalsTest.testCase[1494 : letexpr-23.vdm]
Error Message
[Input: /var/lib/jenkins/internal-resources/externaltests/tc/sltest/exprtest/CORE/expr/letexpr/letexpr-23.vdm, Result:src/test/resources/external/tc/sltest/exprtest/CORE/expr/letexpr/letexpr-23.vdm.result, Update Property:testing.update.testing.standard.SampleExternalsTest.letexpr-23.vdm] Expected (but not found) Strings: Error 3139: letexpr-23.vdm at 11:14 Left hand of < is not ordered Found (but not expected) Strings: Error 2295: letexpr-23.vdm at 20:15 Name contains a reserved prefix
Stacktrace
java.lang.AssertionError: [Input: /var/lib/jenkins/internal-resources/externaltests/tc/sltest/exprtest/CORE/expr/letexpr/letexpr-23.vdm, Result:src/test/resources/external/tc/sltest/exprtest/CORE/expr/letexpr/letexpr-23.vdm.result, Update Property:testing.update.testing.standard.SampleExternalsTest.letexpr-23.vdm] Expected (but not found) Strings: Error 3139: letexpr-23.vdm at 11:14 Left hand of < is not ordered Found (but not expected) Strings: Error 2295: letexpr-23.vdm at 20:15 Name contains a reserved prefix at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:75) at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:49)