Failed

org.overture.core.testing.samples.SampleExternalsTest.testCase[3162 : modules-02.vdm]

Failing for the past 9 builds (Since Unstable#229 )
Took 4 ms.

Error Message

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

Stacktrace

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