Regression

org.overture.core.testing.samples.SampleExternalsTest.testCase[3161 : modules-03.vdm]

Failing for the past 2 builds (Since #166 )

Took 0.61 sec.

Error Message

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

Stacktrace

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