Failed

org.overture.core.testing.samples.SampleExternalsTest.testCase[3158 : modules-06.vdm]

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

Error Message

[Input: /var/lib/jenkins/internal-resources/externaltests/cgip/sltest/SL/modules/modules-06.vdm, Result:src/test/resources/external/cgip/sltest/SL/modules/modules-06.vdm.result, Update Property:testing.update.testing.standard.SampleExternalsTest.modules-06.vdm] Expected (but not found) Strings: 
modules-06.vdmparses and type checks
Found (but not expected) Strings: 
Error 2295: modules-06.vdm at 47:7 Name contains a reserved prefix

Stacktrace

java.lang.AssertionError: 
[Input: /var/lib/jenkins/internal-resources/externaltests/cgip/sltest/SL/modules/modules-06.vdm, Result:src/test/resources/external/cgip/sltest/SL/modules/modules-06.vdm.result, Update Property:testing.update.testing.standard.SampleExternalsTest.modules-06.vdm] Expected (but not found) Strings: 
modules-06.vdmparses and type checks
Found (but not expected) Strings: 
Error 2295: modules-06.vdm at 47:7 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)