Failed

org.overture.core.testing.samples.SampleExternalsTest.testCase[1494 : letexpr-23.vdm]

Failing for the past 10 builds (Since Unstable#229 )
Took 2 ms.

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)