Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture Sample Tests 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ samples ---
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ samples ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/testing/samples/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO]
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ samples ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1 resource
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ samples ---
[INFO] No sources to compile
[INFO]
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ samples ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 3215 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ samples ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 3 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/testing/samples/target/test-classes
[INFO]
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ samples ---
-------------------------------------------------------
T E S T S
-------------------------------------------------------
Running org.overture.core.testing.samples.SampleStandardTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.737 sec - in org.overture.core.testing.samples.SampleStandardTest
Running org.overture.core.testing.samples.SampleExternalsTest
Tests run: 3211, Failures: 13, Errors: 0, Skipped: 0, Time elapsed: 11.073 sec <<< FAILURE! - in org.overture.core.testing.samples.SampleExternalsTest
testCase[63 : extension-13.vpp](org.overture.core.testing.samples.SampleExternalsTest) Time elapsed: 0.023 sec <<< FAILURE!
java.lang.AssertionError:
[Input: /var/lib/jenkins/internal-resources/externaltests/tc/rttest/VICE/extension/extension-13.vpp, Result:src/test/resources/external/tc/rttest/VICE/extension/extension-13.vpp.result, Update Property:testing.update.testing.standard.SampleExternalsTest.extension-13.vpp] Expected (but not found) Strings:
Error 3294: extension-13.vpp at 41:8 Only one system class permitted
Error 3427: extension-13.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 12:10 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 17:10 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 20:10 Unable to resolve type name 'BUS'
Error 3427: extension-13.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 52:13 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 57:13 Unable to resolve type name 'CPU'
Error 3133: extension-13.vpp at 7:17 Class name CPU not in scope
Error 3428: extension-13.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3134: extension-13.vpp at 45:36 Class has no constructor with these parameter types
Error 3133: extension-13.vpp at 47:20 Class name CPU not in scope
Error 3428: extension-13.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3428: extension-13.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3428: extension-13.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3209: extension-13.vpp at 91:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-13.vpp at 92:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-13.vpp at 93:14 Member HandleEvent(nat) is not in scope
Found (but not expected) Strings:
Error 2295: extension-13.vpp at 141:13 Name contains a reserved prefix
Error 2295: extension-13.vpp at 161:28 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)
testCase[64 : extension-12.vpp](org.overture.core.testing.samples.SampleExternalsTest) Time elapsed: 0.008 sec <<< FAILURE!
java.lang.AssertionError:
[Input: /var/lib/jenkins/internal-resources/externaltests/tc/rttest/VICE/extension/extension-12.vpp, Result:src/test/resources/external/tc/rttest/VICE/extension/extension-12.vpp.result, Update Property:testing.update.testing.standard.SampleExternalsTest.extension-12.vpp] Expected (but not found) Strings:
Error 3294: extension-12.vpp at 41:8 Only one system class permitted
Error 3427: extension-12.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 12:10 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 17:10 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 20:10 Unable to resolve type name 'BUS'
Error 3427: extension-12.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 52:13 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 57:13 Unable to resolve type name 'CPU'
Error 3133: extension-12.vpp at 7:17 Class name CPU not in scope
Error 3428: extension-12.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3134: extension-12.vpp at 45:36 Class has no constructor with these parameter types
Error 3133: extension-12.vpp at 47:20 Class name CPU not in scope
Error 3428: extension-12.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3428: extension-12.vpp at 7:10 Unable to resolve type name 'CPU'
Found (but not expected) Strings:
Error 2295: extension-12.vpp at 129:13 Name contains a reserved prefix
Error 2295: extension-12.vpp at 149:28 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)
testCase[65 : extension-01.vpp](org.overture.core.testing.samples.SampleExternalsTest) Time elapsed: 0.007 sec <<< FAILURE!
java.lang.AssertionError:
[Input: /var/lib/jenkins/internal-resources/externaltests/tc/rttest/VICE/extension/extension-01.vpp, Result:src/test/resources/external/tc/rttest/VICE/extension/extension-01.vpp.result, Update Property:testing.update.testing.standard.SampleExternalsTest.extension-01.vpp] Expected (but not found) Strings:
Error 3427: extension-01.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3427: extension-01.vpp at 12:10 Unable to resolve type name 'CPU'
Error 3427: extension-01.vpp at 17:10 Unable to resolve type name 'CPU'
Error 3427: extension-01.vpp at 20:10 Unable to resolve type name 'BUS'
Error 3133: extension-01.vpp at 7:17 Class name CPU not in scope
Error 3428: extension-01.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3428: extension-01.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3134: extension-01.vpp at 265:40 Class has no constructor with these parameter types
Error 3134: extension-01.vpp at 266:41 Class has no constructor with these parameter types
Error 3134: extension-01.vpp at 272:43 Class has no constructor with these parameter types
Error 3134: extension-01.vpp at 273:41 Class has no constructor with these parameter types
Found (but not expected) Strings:
Error 2295: extension-01.vpp at 110:13 Name contains a reserved prefix
Error 2295: extension-01.vpp at 130:28 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)
testCase[1494 : letexpr-23.vdm](org.overture.core.testing.samples.SampleExternalsTest) Time elapsed: 0.001 sec <<< FAILURE!
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)
testCase[2365 : extension-13.vpp](org.overture.core.testing.samples.SampleExternalsTest) Time elapsed: 0.004 sec <<< FAILURE!
java.lang.AssertionError:
[Input: /var/lib/jenkins/internal-resources/externaltests/cgip/rttest/VICE/extension/extension-13.vpp, Result:src/test/resources/external/cgip/rttest/VICE/extension/extension-13.vpp.result, Update Property:testing.update.testing.standard.SampleExternalsTest.extension-13.vpp] Expected (but not found) Strings:
Error 3294: extension-13.vpp at 41:8 Only one system class permitted
Error 3427: extension-13.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 12:10 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 17:10 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 20:10 Unable to resolve type name 'BUS'
Error 3427: extension-13.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 52:13 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 57:13 Unable to resolve type name 'CPU'
Error 3133: extension-13.vpp at 7:17 Class name CPU not in scope
Error 3428: extension-13.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3134: extension-13.vpp at 45:36 Class has no constructor with these parameter types
Error 3133: extension-13.vpp at 47:20 Class name CPU not in scope
Error 3428: extension-13.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3428: extension-13.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3428: extension-13.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3209: extension-13.vpp at 91:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-13.vpp at 92:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-13.vpp at 93:14 Member HandleEvent(nat) is not in scope
Found (but not expected) Strings:
Error 2295: extension-13.vpp at 141:13 Name contains a reserved prefix
Error 2295: extension-13.vpp at 161:28 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)
testCase[2366 : extension-12.vpp](org.overture.core.testing.samples.SampleExternalsTest) Time elapsed: 0.003 sec <<< FAILURE!
java.lang.AssertionError:
[Input: /var/lib/jenkins/internal-resources/externaltests/cgip/rttest/VICE/extension/extension-12.vpp, Result:src/test/resources/external/cgip/rttest/VICE/extension/extension-12.vpp.result, Update Property:testing.update.testing.standard.SampleExternalsTest.extension-12.vpp] Expected (but not found) Strings:
Error 3294: extension-12.vpp at 41:8 Only one system class permitted
Error 3427: extension-12.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 12:10 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 17:10 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 20:10 Unable to resolve type name 'BUS'
Error 3427: extension-12.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 52:13 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 57:13 Unable to resolve type name 'CPU'
Error 3133: extension-12.vpp at 7:17 Class name CPU not in scope
Error 3428: extension-12.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3134: extension-12.vpp at 45:36 Class has no constructor with these parameter types
Error 3133: extension-12.vpp at 47:20 Class name CPU not in scope
Error 3428: extension-12.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3428: extension-12.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3209: extension-12.vpp at 79:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-12.vpp at 80:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-12.vpp at 81:14 Member HandleEvent(nat) is not in scope
Found (but not expected) Strings:
Error 2295: extension-12.vpp at 129:13 Name contains a reserved prefix
Error 2295: extension-12.vpp at 149:28 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)
testCase[2367 : extension-01.vpp](org.overture.core.testing.samples.SampleExternalsTest) Time elapsed: 0.003 sec <<< FAILURE!
java.lang.AssertionError:
[Input: /var/lib/jenkins/internal-resources/externaltests/cgip/rttest/VICE/extension/extension-01.vpp, Result:src/test/resources/external/cgip/rttest/VICE/extension/extension-01.vpp.result, Update Property:testing.update.testing.standard.SampleExternalsTest.extension-01.vpp] Expected (but not found) Strings:
Error 3427: extension-01.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3427: extension-01.vpp at 12:10 Unable to resolve type name 'CPU'
Error 3427: extension-01.vpp at 17:10 Unable to resolve type name 'CPU'
Error 3427: extension-01.vpp at 20:10 Unable to resolve type name 'BUS'
Error 3133: extension-01.vpp at 7:17 Class name CPU not in scope
Error 3428: extension-01.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3428: extension-01.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3209: extension-01.vpp at 60:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-01.vpp at 61:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-01.vpp at 62:14 Member HandleEvent(nat) is not in scope
Error 3134: extension-01.vpp at 262:40 Class has no constructor with these parameter types
Error 3134: extension-01.vpp at 263:41 Class has no constructor with these parameter types
Error 3134: extension-01.vpp at 269:43 Class has no constructor with these parameter types
Error 3134: extension-01.vpp at 270:41 Class has no constructor with these parameter types
Found (but not expected) Strings:
Error 2295: extension-01.vpp at 110:13 Name contains a reserved prefix
Error 2295: extension-01.vpp at 130:28 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)
testCase[3157 : modules-01.vdm](org.overture.core.testing.samples.SampleExternalsTest) Time elapsed: 0.005 sec <<< FAILURE!
java.lang.AssertionError:
[Input: /var/lib/jenkins/internal-resources/externaltests/cgip/sltest/SL/modules/modules-01.vdm, Result:src/test/resources/external/cgip/sltest/SL/modules/modules-01.vdm.result, Update Property:testing.update.testing.standard.SampleExternalsTest.modules-01.vdm] Expected (but not found) Strings:
modules-01.vdmparses and type checks
Found (but not expected) Strings:
Error 2295: modules-01.vdm at 76: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)
testCase[3158 : modules-06.vdm](org.overture.core.testing.samples.SampleExternalsTest) Time elapsed: 0.004 sec <<< FAILURE!
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)
testCase[3159 : modules-04.vdm](org.overture.core.testing.samples.SampleExternalsTest) Time elapsed: 0.004 sec <<< FAILURE!
java.lang.AssertionError:
[Input: /var/lib/jenkins/internal-resources/externaltests/cgip/sltest/SL/modules/modules-04.vdm, Result:src/test/resources/external/cgip/sltest/SL/modules/modules-04.vdm.result, Update Property:testing.update.testing.standard.SampleExternalsTest.modules-04.vdm] Expected (but not found) Strings:
modules-04.vdmparses and type checks
Found (but not expected) Strings:
Error 2295: modules-04.vdm at 40: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)
testCase[3160 : modules-05.vdm](org.overture.core.testing.samples.SampleExternalsTest) Time elapsed: 0.003 sec <<< FAILURE!
java.lang.AssertionError:
[Input: /var/lib/jenkins/internal-resources/externaltests/cgip/sltest/SL/modules/modules-05.vdm, Result:src/test/resources/external/cgip/sltest/SL/modules/modules-05.vdm.result, Update Property:testing.update.testing.standard.SampleExternalsTest.modules-05.vdm] Expected (but not found) Strings:
modules-05.vdmparses and type checks
Found (but not expected) Strings:
Error 2295: modules-05.vdm at 39: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)
testCase[3161 : modules-03.vdm](org.overture.core.testing.samples.SampleExternalsTest) Time elapsed: 0.615 sec <<< FAILURE!
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)
testCase[3162 : modules-02.vdm](org.overture.core.testing.samples.SampleExternalsTest) Time elapsed: 0.004 sec <<< FAILURE!
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)
Results :
Failed tests:
SampleExternalsTest>ParamFineGrainTest.testCase:100->compareResults:49->compareResults:75 [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
SampleExternalsTest>ParamFineGrainTest.testCase:100->compareResults:49->compareResults:75 [Input: /var/lib/jenkins/internal-resources/externaltests/cgip/rttest/VICE/extension/extension-13.vpp, Result:src/test/resources/external/cgip/rttest/VICE/extension/extension-13.vpp.result, Update Property:testing.update.testing.standard.SampleExternalsTest.extension-13.vpp] Expected (but not found) Strings:
Error 3294: extension-13.vpp at 41:8 Only one system class permitted
Error 3427: extension-13.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 12:10 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 17:10 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 20:10 Unable to resolve type name 'BUS'
Error 3427: extension-13.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 52:13 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 57:13 Unable to resolve type name 'CPU'
Error 3133: extension-13.vpp at 7:17 Class name CPU not in scope
Error 3428: extension-13.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3134: extension-13.vpp at 45:36 Class has no constructor with these parameter types
Error 3133: extension-13.vpp at 47:20 Class name CPU not in scope
Error 3428: extension-13.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3428: extension-13.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3428: extension-13.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3209: extension-13.vpp at 91:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-13.vpp at 92:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-13.vpp at 93:14 Member HandleEvent(nat) is not in scope
Found (but not expected) Strings:
Error 2295: extension-13.vpp at 141:13 Name contains a reserved prefix
Error 2295: extension-13.vpp at 161:28 Name contains a reserved prefix
SampleExternalsTest>ParamFineGrainTest.testCase:100->compareResults:49->compareResults:75 [Input: /var/lib/jenkins/internal-resources/externaltests/cgip/rttest/VICE/extension/extension-12.vpp, Result:src/test/resources/external/cgip/rttest/VICE/extension/extension-12.vpp.result, Update Property:testing.update.testing.standard.SampleExternalsTest.extension-12.vpp] Expected (but not found) Strings:
Error 3294: extension-12.vpp at 41:8 Only one system class permitted
Error 3427: extension-12.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 12:10 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 17:10 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 20:10 Unable to resolve type name 'BUS'
Error 3427: extension-12.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 52:13 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 57:13 Unable to resolve type name 'CPU'
Error 3133: extension-12.vpp at 7:17 Class name CPU not in scope
Error 3428: extension-12.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3134: extension-12.vpp at 45:36 Class has no constructor with these parameter types
Error 3133: extension-12.vpp at 47:20 Class name CPU not in scope
Error 3428: extension-12.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3428: extension-12.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3209: extension-12.vpp at 79:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-12.vpp at 80:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-12.vpp at 81:14 Member HandleEvent(nat) is not in scope
Found (but not expected) Strings:
Error 2295: extension-12.vpp at 129:13 Name contains a reserved prefix
Error 2295: extension-12.vpp at 149:28 Name contains a reserved prefix
SampleExternalsTest>ParamFineGrainTest.testCase:100->compareResults:49->compareResults:75 [Input: /var/lib/jenkins/internal-resources/externaltests/cgip/rttest/VICE/extension/extension-01.vpp, Result:src/test/resources/external/cgip/rttest/VICE/extension/extension-01.vpp.result, Update Property:testing.update.testing.standard.SampleExternalsTest.extension-01.vpp] Expected (but not found) Strings:
Error 3427: extension-01.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3427: extension-01.vpp at 12:10 Unable to resolve type name 'CPU'
Error 3427: extension-01.vpp at 17:10 Unable to resolve type name 'CPU'
Error 3427: extension-01.vpp at 20:10 Unable to resolve type name 'BUS'
Error 3133: extension-01.vpp at 7:17 Class name CPU not in scope
Error 3428: extension-01.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3428: extension-01.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3209: extension-01.vpp at 60:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-01.vpp at 61:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-01.vpp at 62:14 Member HandleEvent(nat) is not in scope
Error 3134: extension-01.vpp at 262:40 Class has no constructor with these parameter types
Error 3134: extension-01.vpp at 263:41 Class has no constructor with these parameter types
Error 3134: extension-01.vpp at 269:43 Class has no constructor with these parameter types
Error 3134: extension-01.vpp at 270:41 Class has no constructor with these parameter types
Found (but not expected) Strings:
Error 2295: extension-01.vpp at 110:13 Name contains a reserved prefix
Error 2295: extension-01.vpp at 130:28 Name contains a reserved prefix
SampleExternalsTest>ParamFineGrainTest.testCase:100->compareResults:49->compareResults:75 [Input: /var/lib/jenkins/internal-resources/externaltests/cgip/sltest/SL/modules/modules-01.vdm, Result:src/test/resources/external/cgip/sltest/SL/modules/modules-01.vdm.result, Update Property:testing.update.testing.standard.SampleExternalsTest.modules-01.vdm] Expected (but not found) Strings:
modules-01.vdmparses and type checks
Found (but not expected) Strings:
Error 2295: modules-01.vdm at 76:7 Name contains a reserved prefix
SampleExternalsTest>ParamFineGrainTest.testCase:100->compareResults:49->compareResults:75 [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
SampleExternalsTest>ParamFineGrainTest.testCase:100->compareResults:49->compareResults:75 [Input: /var/lib/jenkins/internal-resources/externaltests/cgip/sltest/SL/modules/modules-04.vdm, Result:src/test/resources/external/cgip/sltest/SL/modules/modules-04.vdm.result, Update Property:testing.update.testing.standard.SampleExternalsTest.modules-04.vdm] Expected (but not found) Strings:
modules-04.vdmparses and type checks
Found (but not expected) Strings:
Error 2295: modules-04.vdm at 40:7 Name contains a reserved prefix
SampleExternalsTest>ParamFineGrainTest.testCase:100->compareResults:49->compareResults:75 [Input: /var/lib/jenkins/internal-resources/externaltests/cgip/sltest/SL/modules/modules-05.vdm, Result:src/test/resources/external/cgip/sltest/SL/modules/modules-05.vdm.result, Update Property:testing.update.testing.standard.SampleExternalsTest.modules-05.vdm] Expected (but not found) Strings:
modules-05.vdmparses and type checks
Found (but not expected) Strings:
Error 2295: modules-05.vdm at 39:7 Name contains a reserved prefix
SampleExternalsTest>ParamFineGrainTest.testCase:100->compareResults:49->compareResults:75 [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
SampleExternalsTest>ParamFineGrainTest.testCase:100->compareResults:49->compareResults:75 [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
SampleExternalsTest>ParamFineGrainTest.testCase:100->compareResults:49->compareResults:75 [Input: /var/lib/jenkins/internal-resources/externaltests/tc/rttest/VICE/extension/extension-13.vpp, Result:src/test/resources/external/tc/rttest/VICE/extension/extension-13.vpp.result, Update Property:testing.update.testing.standard.SampleExternalsTest.extension-13.vpp] Expected (but not found) Strings:
Error 3294: extension-13.vpp at 41:8 Only one system class permitted
Error 3427: extension-13.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 12:10 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 17:10 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 20:10 Unable to resolve type name 'BUS'
Error 3427: extension-13.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 52:13 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 57:13 Unable to resolve type name 'CPU'
Error 3133: extension-13.vpp at 7:17 Class name CPU not in scope
Error 3428: extension-13.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3134: extension-13.vpp at 45:36 Class has no constructor with these parameter types
Error 3133: extension-13.vpp at 47:20 Class name CPU not in scope
Error 3428: extension-13.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3428: extension-13.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3428: extension-13.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3209: extension-13.vpp at 91:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-13.vpp at 92:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-13.vpp at 93:14 Member HandleEvent(nat) is not in scope
Found (but not expected) Strings:
Error 2295: extension-13.vpp at 141:13 Name contains a reserved prefix
Error 2295: extension-13.vpp at 161:28 Name contains a reserved prefix
SampleExternalsTest>ParamFineGrainTest.testCase:100->compareResults:49->compareResults:75 [Input: /var/lib/jenkins/internal-resources/externaltests/tc/rttest/VICE/extension/extension-12.vpp, Result:src/test/resources/external/tc/rttest/VICE/extension/extension-12.vpp.result, Update Property:testing.update.testing.standard.SampleExternalsTest.extension-12.vpp] Expected (but not found) Strings:
Error 3294: extension-12.vpp at 41:8 Only one system class permitted
Error 3427: extension-12.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 12:10 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 17:10 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 20:10 Unable to resolve type name 'BUS'
Error 3427: extension-12.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 52:13 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 57:13 Unable to resolve type name 'CPU'
Error 3133: extension-12.vpp at 7:17 Class name CPU not in scope
Error 3428: extension-12.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3134: extension-12.vpp at 45:36 Class has no constructor with these parameter types
Error 3133: extension-12.vpp at 47:20 Class name CPU not in scope
Error 3428: extension-12.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3428: extension-12.vpp at 7:10 Unable to resolve type name 'CPU'
Found (but not expected) Strings:
Error 2295: extension-12.vpp at 129:13 Name contains a reserved prefix
Error 2295: extension-12.vpp at 149:28 Name contains a reserved prefix
SampleExternalsTest>ParamFineGrainTest.testCase:100->compareResults:49->compareResults:75 [Input: /var/lib/jenkins/internal-resources/externaltests/tc/rttest/VICE/extension/extension-01.vpp, Result:src/test/resources/external/tc/rttest/VICE/extension/extension-01.vpp.result, Update Property:testing.update.testing.standard.SampleExternalsTest.extension-01.vpp] Expected (but not found) Strings:
Error 3427: extension-01.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3427: extension-01.vpp at 12:10 Unable to resolve type name 'CPU'
Error 3427: extension-01.vpp at 17:10 Unable to resolve type name 'CPU'
Error 3427: extension-01.vpp at 20:10 Unable to resolve type name 'BUS'
Error 3133: extension-01.vpp at 7:17 Class name CPU not in scope
Error 3428: extension-01.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3428: extension-01.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3134: extension-01.vpp at 265:40 Class has no constructor with these parameter types
Error 3134: extension-01.vpp at 266:41 Class has no constructor with these parameter types
Error 3134: extension-01.vpp at 272:43 Class has no constructor with these parameter types
Error 3134: extension-01.vpp at 273:41 Class has no constructor with these parameter types
Found (but not expected) Strings:
Error 2295: extension-01.vpp at 110:13 Name contains a reserved prefix
Error 2295: extension-01.vpp at 130:28 Name contains a reserved prefix
Tests run: 3213, Failures: 13, Errors: 0, Skipped: 0
[ERROR] There are test failures.
Please refer to /var/lib/jenkins/workspace/overture-pvj-main/core/testing/samples/target/surefire-reports for the individual test results.
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ samples ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/testing/samples/target/samples-2.7.5-SNAPSHOT.jar
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ samples ---
[INFO] Analyzed bundle 'Overture Sample Tests' with 0 classes
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ samples ---
[INFO] Skipping javadoc generation
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ samples ---
[INFO] Skipping artifact installation
![[Jenkins]](/jenkins/static/aeeb6498/images/jenkins-header-logo-v2.svg){kind=logo}
Console Output