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 The VDM Type Checker 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ typechecker ---
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ typechecker ---
[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/typechecker/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) @ typechecker ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/src/main/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ typechecker ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 138 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/target/classes
[INFO] /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java: Some input files use unchecked or unsafe operations.
[INFO] /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java: Recompile with -Xlint:unchecked for details.
[INFO]
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ typechecker ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2043 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ typechecker ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 12 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/target/test-classes
[INFO]
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ typechecker ---
-------------------------------------------------------
T E S T S
-------------------------------------------------------
Running org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest
Tests run: 74, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 2.791 sec <<< FAILURE! - in org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest
test[extension-13.vpp](org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest) Time elapsed: 0.034 sec <<< FAILURE!
java.lang.AssertionError:
Errors found in file "extension-13.vpp.result"
Missing Warning: 5000 extension-13.vpp at 302:11 Definition 'dummy' not used
Unexpected Error: 2295 extension-13.vpp at 141:13 Name contains a reserved prefix
Unexpected Error: 2295 extension-13.vpp at 161:28 Name contains a reserved prefix
Missing Error: 3294 extension-13.vpp at 41:8 Only one system class permitted
Missing Error: 3134 extension-13.vpp at 45:36 Class has no constructor with these parameter types
Missing Error: 3134 extension-13.vpp at 50:37 Class has no constructor with these parameter types
Missing Error: 3134 extension-13.vpp at 55:39 Class has no constructor with these parameter types
Missing Error: 3182 extension-13.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope
Missing Error: 3290 extension-13.vpp at 32:24 Argument to setPriority must be an operation
Missing Error: 3209 extension-13.vpp at 91:14 Member HandleEvent(nat) is not in scope
Missing Error: 3209 extension-13.vpp at 92:14 Member HandleEvent(nat) is not in scope
Missing Error: 3209 extension-13.vpp at 93:14 Member HandleEvent(nat) is not in scope
test[extension-12.vpp](org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest) Time elapsed: 0.014 sec <<< FAILURE!
java.lang.AssertionError:
Errors found in file "extension-12.vpp.result"
Missing Warning: 5000 extension-12.vpp at 295:11 Definition 'dummy' not used
Unexpected Error: 2295 extension-12.vpp at 129:13 Name contains a reserved prefix
Unexpected Error: 2295 extension-12.vpp at 149:28 Name contains a reserved prefix
Missing Error: 3294 extension-12.vpp at 41:8 Only one system class permitted
Missing Error: 3134 extension-12.vpp at 45:36 Class has no constructor with these parameter types
Missing Error: 3134 extension-12.vpp at 50:37 Class has no constructor with these parameter types
Missing Error: 3134 extension-12.vpp at 55:39 Class has no constructor with these parameter types
Missing Error: 3182 extension-12.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope
Missing Error: 3290 extension-12.vpp at 32:24 Argument to setPriority must be an operation
test[extension-01.vpp](org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest) Time elapsed: 0.041 sec <<< FAILURE!
java.lang.AssertionError:
Errors found in file "extension-01.vpp.result"
Unexpected Error: 2295 extension-01.vpp at 110:13 Name contains a reserved prefix
Unexpected Error: 2295 extension-01.vpp at 130:28 Name contains a reserved prefix
Missing Error: 3182 extension-01.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope
Missing Error: 3290 extension-01.vpp at 32:24 Argument to setPriority must be an operation
Missing Error: 3134 extension-01.vpp at 265:40 Class has no constructor with these parameter types
Missing Error: 3134 extension-01.vpp at 266:41 Class has no constructor with these parameter types
Missing Error: 3134 extension-01.vpp at 272:43 Class has no constructor with these parameter types
Missing Error: 3134 extension-01.vpp at 273:41 Class has no constructor with these parameter types
Running org.overture.typechecker.tests.external.ExternalClassesPpTypeCheckTest
Tests run: 485, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.406 sec - in org.overture.typechecker.tests.external.ExternalClassesPpTypeCheckTest
Running org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest
Tests run: 1216, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 3.647 sec <<< FAILURE! - in org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest
test[letexpr-23.vdm](org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest) Time elapsed: 0.002 sec <<< FAILURE!
java.lang.AssertionError:
Errors found in file "letexpr-23.vdm.result"
Missing Warning: 5000 letexpr-23.vdm at 24:26 Definition 'c' not used
Missing Warning: 5000 letexpr-23.vdm at 32:13 Definition 'ini_i' not used
Missing Warning: 5000 letexpr-23.vdm at 28:13 Definition 'po_h' not used
Missing Warning: 5000 letexpr-23.vdm at 24:13 Definition 'pr_g' not used
Missing Warning: 5000 letexpr-23.vdm at 20:15 Definition 'iv_f' not used
Unexpected Error: 2295 letexpr-23.vdm at 20:15 Name contains a reserved prefix
Missing Error: 3139 letexpr-23.vdm at 11:14 Left hand of < is not ordered
Running org.overture.typechecker.tests.ClassesRtTypeCheckTest
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.542 sec - in org.overture.typechecker.tests.ClassesRtTypeCheckTest
Running org.overture.typechecker.tests.ClassesPpTypeCheckTest
Tests run: 47, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.673 sec - in org.overture.typechecker.tests.ClassesPpTypeCheckTest
Running org.overture.typechecker.tests.ModulesSlTypeCheckTest
Tests run: 73, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.593 sec - in org.overture.typechecker.tests.ModulesSlTypeCheckTest
Results :
Failed tests:
ExternalClassesRtTypeCheckTest>CommonTypeCheckerTest.test:74->ResultTestCase4.compareResults:107 Errors found in file "extension-01.vpp.result"
Unexpected Error: 2295 extension-01.vpp at 110:13 Name contains a reserved prefix
Unexpected Error: 2295 extension-01.vpp at 130:28 Name contains a reserved prefix
Missing Error: 3182 extension-01.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope
Missing Error: 3290 extension-01.vpp at 32:24 Argument to setPriority must be an operation
Missing Error: 3134 extension-01.vpp at 265:40 Class has no constructor with these parameter types
Missing Error: 3134 extension-01.vpp at 266:41 Class has no constructor with these parameter types
Missing Error: 3134 extension-01.vpp at 272:43 Class has no constructor with these parameter types
Missing Error: 3134 extension-01.vpp at 273:41 Class has no constructor with these parameter types
ExternalClassesRtTypeCheckTest>CommonTypeCheckerTest.test:74->ResultTestCase4.compareResults:107 Errors found in file "extension-12.vpp.result"
Missing Warning: 5000 extension-12.vpp at 295:11 Definition 'dummy' not used
Unexpected Error: 2295 extension-12.vpp at 129:13 Name contains a reserved prefix
Unexpected Error: 2295 extension-12.vpp at 149:28 Name contains a reserved prefix
Missing Error: 3294 extension-12.vpp at 41:8 Only one system class permitted
Missing Error: 3134 extension-12.vpp at 45:36 Class has no constructor with these parameter types
Missing Error: 3134 extension-12.vpp at 50:37 Class has no constructor with these parameter types
Missing Error: 3134 extension-12.vpp at 55:39 Class has no constructor with these parameter types
Missing Error: 3182 extension-12.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope
Missing Error: 3290 extension-12.vpp at 32:24 Argument to setPriority must be an operation
ExternalClassesRtTypeCheckTest>CommonTypeCheckerTest.test:74->ResultTestCase4.compareResults:107 Errors found in file "extension-13.vpp.result"
Missing Warning: 5000 extension-13.vpp at 302:11 Definition 'dummy' not used
Unexpected Error: 2295 extension-13.vpp at 141:13 Name contains a reserved prefix
Unexpected Error: 2295 extension-13.vpp at 161:28 Name contains a reserved prefix
Missing Error: 3294 extension-13.vpp at 41:8 Only one system class permitted
Missing Error: 3134 extension-13.vpp at 45:36 Class has no constructor with these parameter types
Missing Error: 3134 extension-13.vpp at 50:37 Class has no constructor with these parameter types
Missing Error: 3134 extension-13.vpp at 55:39 Class has no constructor with these parameter types
Missing Error: 3182 extension-13.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope
Missing Error: 3290 extension-13.vpp at 32:24 Argument to setPriority must be an operation
Missing Error: 3209 extension-13.vpp at 91:14 Member HandleEvent(nat) is not in scope
Missing Error: 3209 extension-13.vpp at 92:14 Member HandleEvent(nat) is not in scope
Missing Error: 3209 extension-13.vpp at 93:14 Member HandleEvent(nat) is not in scope
ExternalModulesSlTypeCheckTest>CommonTypeCheckerTest.test:74->ResultTestCase4.compareResults:107 Errors found in file "letexpr-23.vdm.result"
Missing Warning: 5000 letexpr-23.vdm at 24:26 Definition 'c' not used
Missing Warning: 5000 letexpr-23.vdm at 32:13 Definition 'ini_i' not used
Missing Warning: 5000 letexpr-23.vdm at 28:13 Definition 'po_h' not used
Missing Warning: 5000 letexpr-23.vdm at 24:13 Definition 'pr_g' not used
Missing Warning: 5000 letexpr-23.vdm at 20:15 Definition 'iv_f' not used
Unexpected Error: 2295 letexpr-23.vdm at 20:15 Name contains a reserved prefix
Missing Error: 3139 letexpr-23.vdm at 11:14 Left hand of < is not ordered
Tests run: 1906, Failures: 4, Errors: 0, Skipped: 0
[ERROR] There are test failures.
Please refer to /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/target/surefire-reports for the individual test results.
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ typechecker ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/target/typechecker-2.7.5-SNAPSHOT.jar
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ typechecker ---
[INFO] Analyzed bundle 'The VDM Type Checker' with 152 classes
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ typechecker ---
[INFO] Skipping javadoc generation
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ typechecker ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/target/typechecker-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/typechecker/2.7.5-SNAPSHOT/typechecker-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/typechecker/2.7.5-SNAPSHOT/typechecker-2.7.5-SNAPSHOT.pom
![[Jenkins]](/jenkins/static/aeeb6498/images/jenkins-header-logo-v2.svg){kind=logo}
Console Output