Console Output
Skipping 487 KB..
Full LogegyPLMDFuBmyQ4z2kMPbfk/9GAAAAYx+LCAAAAAAAAP9b85aBtbiIQSWjNKU4P0+vJLE4u1gvPjexLDVPzxdEhicW5WXmpfvll6S2fNly5fzGzauYGBgqihikoFqS8/OK83NS9ZwhNEghAwQwghQWAACwxA+XYgAAAA==[0m[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:23: warning: no description for @param
[WARNING] * @param stateExps
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:24: warning: no description for @param
[WARNING] * @param argExps
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:25: warning: no description for @param
[WARNING] * @param out
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:26: warning: no description for @param
[WARNING] * @param err
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:27: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:28: warning: no description for @throws
[WARNING] * @throws Exception
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:40: warning: no description for @param
[WARNING] * @param name
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:41: warning: no description for @param
[WARNING] * @param body
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:42: warning: no description for @param
[WARNING] * @param result
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:43: warning: no description for @param
[WARNING] * @param stateExps
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:44: warning: no description for @param
[WARNING] * @param argExps
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:45: warning: no description for @param
[WARNING] * @param out
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:46: warning: no description for @param
[WARNING] * @param err
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:47: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:48: warning: no description for @throws
[WARNING] * @throws Exception
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/values/Value.java:120: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/values/Value.java:162: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/values/Value.java:281: warning: no description for @throws
[WARNING] * @throws ValueException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/values/Value.java:282: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/values/ValueMap.java:109: warning: no @return
[WARNING] public List<Map<Value, Value>> permutedMaps()
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java:146: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java:631: warning: no description for @throws
[WARNING] * @throws Exception
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java:633: warning: no @param for line
[WARNING] protected boolean doCreate(String line) throws Exception
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java:633: warning: no @return
[WARNING] protected boolean doCreate(String line) throws Exception
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java:639: warning: no description for @throws
[WARNING] * @throws Exception
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java:641: warning: no @param for line
[WARNING] protected boolean doDefault(String line) throws Exception
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java:641: warning: no @return
[WARNING] protected boolean doDefault(String line) throws Exception
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java:1313: warning: no @param for line
[WARNING] protected boolean notAvailable(String line)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java:1313: warning: no @return
[WARNING] protected boolean notAvailable(String line)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Breakpoint.java:223: warning: no description for @param
[WARNING] * @param ctxt
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Breakpoint.java:250: warning: no description for @param
[WARNING] * @param ctxt
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Breakpoint.java:251: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Breakpoint.java:262: warning: no description for @param
[WARNING] * @param ctxt
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Breakpoint.java:263: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Breakpoint.java:86: warning: no description for @throws
[WARNING] * @throws ParserException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Breakpoint.java:87: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Context.java:106: warning: no description for @param
[WARNING] * @param dbgp
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Context.java:137: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Context.java:150: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Context.java:276: warning: no description for @param
[WARNING] * @param name
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Context.java:277: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:127: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:137: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:148: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:156: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:158: warning: no @param for module
[WARNING] abstract public Environment getGlobalEnvironment(String module);
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:191: warning: no description for @throws
[WARNING] * @throws Exception
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:201: warning: no description for @param
[WARNING] * @param dbgp
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:210: warning: no description for @param
[WARNING] * @param dbgp
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:288: warning: no description for @param
[WARNING] * @param src
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:289: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:300: warning: no description for @param
[WARNING] * @param file
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:301: warning: no description for @param
[WARNING] * @param line
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/interpreter/target/interpreter-3.0.1-SNAPSHOT-javadoc.jar
[INFO]
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ interpreter ---
[INFO] Disabled
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ interpreter ---
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/interpreter/target/interpreter-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/interpreter/3.0.1-SNAPSHOT/interpreter-3.0.1-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/interpreter/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/interpreter/3.0.1-SNAPSHOT/interpreter-3.0.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/interpreter/target/interpreter-3.0.1-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/interpreter/3.0.1-SNAPSHOT/interpreter-3.0.1-SNAPSHOT-javadoc.jar
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 Combinatorial Testing 3.0.1-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ combinatorialtesting ---
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-development/core/combinatorialtesting' for files matching the pattern '**/*.java' - excludes: ctutils/**/*, ctruntime/**/*
[TASKS] Found 0 files to scan for tasks
Found 0 open tasks.
[TASKS] Computing warning deltas based on reference build #271
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ combinatorialtesting ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-development/.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-development/core/combinatorialtesting/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] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ combinatorialtesting ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-development/core/combinatorialtesting/target/coverage-reports/jacoco-unit.exec
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ combinatorialtesting ---
[INFO] Not executing Javadoc as the project is not a Java classpath-capable package
[INFO]
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ combinatorialtesting ---
[INFO] Disabled
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ combinatorialtesting ---
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/combinatorialtesting/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/combinatorialtesting/3.0.1-SNAPSHOT/combinatorialtesting-3.0.1-SNAPSHOT.pom
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 Combinatorial Testing Utilities 3.0.1-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ ctutils ---
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-development/core/combinatorialtesting/ctutils' for files matching the pattern '**/*.java' - excludes:
[TASKS] Found 5 files to scan for tasks
Found 0 open tasks.
[TASKS] Computing warning deltas based on reference build #271
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ ctutils ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-development/.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-development/core/combinatorialtesting/ctutils/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) @ ctutils ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-development/core/combinatorialtesting/ctutils/src/main/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ ctutils ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 5 source files to /var/lib/jenkins/workspace/overture-development/core/combinatorialtesting/ctutils/target/classes
[INFO]
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ ctutils ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-development/core/combinatorialtesting/ctutils/src/test/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ ctutils ---
[INFO] No sources to compile
[INFO]
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ ctutils ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ ctutils ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/combinatorialtesting/ctutils/target/ctutils-3.0.1-SNAPSHOT.jar
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ ctutils ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-development/core/combinatorialtesting/ctutils/target/coverage-reports/jacoco-unit.exec
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ ctutils ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/combinatorialtesting/ctutils/target/ctutils-3.0.1-SNAPSHOT-javadoc.jar
[INFO]
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ ctutils ---
[INFO] Disabled
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ ctutils ---
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/combinatorialtesting/ctutils/target/ctutils-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/combinatorialtesting/ctutils/3.0.1-SNAPSHOT/ctutils-3.0.1-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/combinatorialtesting/ctutils/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/combinatorialtesting/ctutils/3.0.1-SNAPSHOT/ctutils-3.0.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/combinatorialtesting/ctutils/target/ctutils-3.0.1-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/combinatorialtesting/ctutils/3.0.1-SNAPSHOT/ctutils-3.0.1-SNAPSHOT-javadoc.jar
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 Combinatorial Testing Runtime 3.0.1-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ ctruntime ---
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-development/core/combinatorialtesting/ctruntime' for files matching the pattern '**/*.java' - excludes:
[TASKS] Found 25 files to scan for tasks
Found 2 open tasks.
[TASKS] Computing warning deltas based on reference build #271
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ ctruntime ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-development/.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-development/core/combinatorialtesting/ctruntime/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) @ ctruntime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-development/core/combinatorialtesting/ctruntime/src/main/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ ctruntime ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 19 source files to /var/lib/jenkins/workspace/overture-development/core/combinatorialtesting/ctruntime/target/classes
[INFO]
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ ctruntime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 60 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ ctruntime ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 6 source files to /var/lib/jenkins/workspace/overture-development/core/combinatorialtesting/ctruntime/target/test-classes
[INFO]
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ ctruntime ---
-------------------------------------------------------
T E S T S
-------------------------------------------------------
Running org.overture.ct.ctruntime.tests.CtNoReductionPpTestCase
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 4.907 sec - in org.overture.ct.ctruntime.tests.CtNoReductionPpTestCase
Running org.overture.ct.ctruntime.tests.CtMultiFileNoReductionSlTestCase
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.553 sec - in org.overture.ct.ctruntime.tests.CtMultiFileNoReductionSlTestCase
Running org.overture.ct.ctruntime.tests.CtNoReductionSlTestCase
Tests run: 20, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 10.574 sec - in org.overture.ct.ctruntime.tests.CtNoReductionSlTestCase
Running org.overture.ct.ctruntime.tests.CtRandomReductionSlTestCase
Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.957 sec - in org.overture.ct.ctruntime.tests.CtRandomReductionSlTestCase
Results :
Tests run: 35, Failures: 0, Errors: 0, Skipped: 0
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ ctruntime ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/combinatorialtesting/ctruntime/target/ctruntime-3.0.1-SNAPSHOT.jar
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ ctruntime ---
[INFO] Analyzed bundle 'Combinatorial Testing Runtime' with 26 classes
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ ctruntime ---
[INFO]
2 warnings
[WARNING] Javadoc Warnings
[WARNING] /var/lib/jenkins/workspace/overture-development/core/combinatorialtesting/ctruntime/src/main/java/org/overture/ct/ctruntime/TraceInterpreter.java:416: warning: no description for @param
[WARNING] * @param mtd
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/combinatorialtesting/ctruntime/src/main/java/org/overture/ct/ctruntime/TraceInterpreter.java:417: warning: no description for @param
[WARNING] * @param test
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/combinatorialtesting/ctruntime/target/ctruntime-3.0.1-SNAPSHOT-javadoc.jar
[INFO]
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ ctruntime ---
[INFO] Disabled
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ ctruntime ---
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/combinatorialtesting/ctruntime/target/ctruntime-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/combinatorialtesting/ctruntime/3.0.1-SNAPSHOT/ctruntime-3.0.1-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/combinatorialtesting/ctruntime/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/combinatorialtesting/ctruntime/3.0.1-SNAPSHOT/ctruntime-3.0.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/combinatorialtesting/ctruntime/target/ctruntime-3.0.1-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/combinatorialtesting/ctruntime/3.0.1-SNAPSHOT/ctruntime-3.0.1-SNAPSHOT-javadoc.jar
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 New Pretty Printer 3.0.1-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ npp ---
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-development/core/prettyprinting/npp' for files matching the pattern '**/*.java' - excludes:
[TASKS] Found 12 files to scan for tasks
Found 0 open tasks.
[TASKS] Computing warning deltas based on reference build #271
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ npp ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-development/.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-development/core/prettyprinting/npp/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) @ npp ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-development/core/prettyprinting/npp/src/main/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ npp ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 7 source files to /var/lib/jenkins/workspace/overture-development/core/prettyprinting/npp/target/classes
[INFO]
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ npp ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1 resource
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ npp ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 5 source files to /var/lib/jenkins/workspace/overture-development/core/prettyprinting/npp/target/test-classes
[INFO]
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ npp ---
-------------------------------------------------------
T E S T S
-------------------------------------------------------
Running org.overture.core.npp.ExpressionNppTest
Tests run: 22, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.368 sec - in org.overture.core.npp.ExpressionNppTest
Running org.overture.core.npp.VdmSymbolTableTest
Tests run: 67, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.028 sec - in org.overture.core.npp.VdmSymbolTableTest
Running org.overture.core.npp.CommonStringManipsTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.core.npp.CommonStringManipsTest
Running org.overture.core.npp.IndentTrackerTest
Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.01 sec - in org.overture.core.npp.IndentTrackerTest
Results :
Tests run: 97, Failures: 0, Errors: 0, Skipped: 0
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ npp ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/prettyprinting/npp/target/npp-3.0.1-SNAPSHOT.jar
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ npp ---
[INFO] Analyzed bundle 'New Pretty Printer' with 5 classes
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ npp ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/prettyprinting/npp/target/npp-3.0.1-SNAPSHOT-javadoc.jar
[INFO]
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ npp ---
[INFO] Disabled
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ npp ---
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/prettyprinting/npp/target/npp-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/npp/3.0.1-SNAPSHOT/npp-3.0.1-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/prettyprinting/npp/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/npp/3.0.1-SNAPSHOT/npp-3.0.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/prettyprinting/npp/target/npp-3.0.1-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/npp/3.0.1-SNAPSHOT/npp-3.0.1-SNAPSHOT-javadoc.jar
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 Core Command Line Tool 3.0.1-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ commandlinetool ---
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-development/core/commandline' for files matching the pattern '**/*.java' - excludes:
[TASKS] Found 0 files to scan for tasks
Found 0 open tasks.
[TASKS] Computing warning deltas based on reference build #271
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ commandlinetool ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-development/.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-development/core/commandline/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) @ commandlinetool ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2 resources to /var/lib/jenkins/workspace/overture-development/core/commandline/target
[INFO] Copying 2 resources to /var/lib/jenkins/workspace/overture-development/core/commandline/target/classes
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ commandlinetool ---
[INFO] No sources to compile
[INFO]
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ commandlinetool ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-development/core/commandline/src/test/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ commandlinetool ---
[INFO] No sources to compile
[INFO]
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ commandlinetool ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ commandlinetool ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/commandline/target/commandlinetool-3.0.1-SNAPSHOT.jar
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ commandlinetool ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-development/core/commandline/target/coverage-reports/jacoco-unit.exec
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ commandlinetool ---
[INFO]
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ commandlinetool ---
[INFO] Disabled
[INFO]
[INFO] --- maven-shade-plugin:2.4.3:shade (default) @ commandlinetool ---
[INFO] Including org.overturetool.core:ast:jar:3.0.1-SNAPSHOT in the shaded jar.
[INFO] Including org.overturetool.core:parser:jar:3.0.1-SNAPSHOT in the shaded jar.
[INFO] Including org.overturetool.core:typechecker:jar:3.0.1-SNAPSHOT in the shaded jar.
[INFO] Including org.overturetool.core:pog:jar:3.0.1-SNAPSHOT in the shaded jar.
[INFO] Including com.google.code.gson:gson:jar:2.2.4 in the shaded jar.
[INFO] Including org.overturetool.core.prettyprinting:prettyprinter:jar:3.0.1-SNAPSHOT in the shaded jar.
[INFO] Including commons-io:commons-io:jar:2.4 in the shaded jar.
[INFO] Including org.apache.commons:commons-collections4:jar:4.1 in the shaded jar.
[INFO] Including org.overturetool.core:testframework:jar:3.0.1-SNAPSHOT in the shaded jar.
[INFO] Including org.overturetool.core:interpreter:jar:3.0.1-SNAPSHOT in the shaded jar.
[INFO] Replacing /var/lib/jenkins/workspace/overture-development/core/commandline/target/Overture-3.0.1-SNAPSHOT.jar with /var/lib/jenkins/workspace/overture-development/core/commandline/target/commandlinetool-3.0.1-SNAPSHOT-shaded.jar
[INFO]
[INFO] --- maven-antrun-plugin:1.8:run (set-executable-bit) @ commandlinetool ---
[INFO] Executing tasks
main:
[INFO] Executed tasks
[INFO]
[INFO] --- maven-assembly-plugin:2.6:single (make-my-jar-with-dependencies) @ commandlinetool ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/commandline/target/commandlinetool-3.0.1-SNAPSHOT-jar-with-dependencies.jar
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ commandlinetool ---
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/commandline/target/commandlinetool-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/commandlinetool/3.0.1-SNAPSHOT/commandlinetool-3.0.1-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/commandline/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/commandlinetool/3.0.1-SNAPSHOT/commandlinetool-3.0.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/commandline/target/commandlinetool-3.0.1-SNAPSHOT-jar-with-dependencies.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/commandlinetool/3.0.1-SNAPSHOT/commandlinetool-3.0.1-SNAPSHOT-jar-with-dependencies.jar
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 Code Generation 3.0.1-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ codegen ---
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-development/core/codegen' for files matching the pattern '**/*.java' - excludes: ir/**/*, platform/**/*, javagen/**/*, javagen-test/**/*, vdm2jml/**/*, vdm2jml-runtime/**/*, codegen-runtime/**/*, codegen-maven-plugin/**/*, isagen/**/*
[TASKS] Found 17 files to scan for tasks
Found 18 open tasks.
[TASKS] Computing warning deltas based on reference build #271
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ codegen ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-development/.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-development/core/codegen/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] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ codegen ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-development/core/codegen/target/coverage-reports/jacoco-unit.exec
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ codegen ---
[INFO] Not executing Javadoc as the project is not a Java classpath-capable package
[INFO]
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ codegen ---
[INFO] Disabled
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ codegen ---
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/codegen/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/codegen/3.0.1-SNAPSHOT/codegen-3.0.1-SNAPSHOT.pom
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 Intermediate Representation Tree 3.0.1-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ ir ---
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-development/core/codegen/ir' for files matching the pattern '**/*.java' - excludes:
[TASKS] Found 2 files to scan for tasks
Found 0 open tasks.
[TASKS] Computing warning deltas based on reference build #271
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ ir ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-development/.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-development/core/codegen/ir/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] --- astcreator-plugin:1.6.8:generate (java) @ ir ---
[INFO] Preparing for tree generation...
[INFO] Checking if generation required.
[INFO] Full AST generation needed
[INFO] Generating...
[INFO] Generator starting with input: /var/lib/jenkins/workspace/overture-development/core/codegen/ir/src/main/resources/ir.ast
Adding aspect fields: PIRBase.{sourceNode,tag,metaData}
WARNING: Using SubProduction class found without using package name. SImportsIRBase
WARNING: Using SubProduction class found without using package name. SImportIRBase
Adding aspect fields: SImportIRBase.{name,renamed,fromModuleName}
Adding aspect fields: SValueImportBase.{importType}
WARNING: Using SubProduction class found without using package name. SExportsIRBase
WARNING: Using SubProduction class found without using package name. SExportIRBase
Adding aspect fields: SExportIRBase.{decl}
WARNING: Using SubProduction class found without using package name. SPatternIRBase
WARNING: Using SubProduction class found without using package name. SBindIRBase
Adding aspect fields: SBindIRBase.{pattern}
WARNING: Using SubProduction class found without using package name. SMultipleBindIRBase
Adding aspect fields: SMultipleBindIRBase.{patterns}
WARNING: Using SubProduction class found without using package name. SNameIRBase
WARNING: Using SubProduction class found without using package name. SDeclIRBase
Adding aspect fields: SClassDeclBase.{globalMetaData,package,dependencies,access,abstract,static,name,fields,invariant,methods,functions,traces,superNames,thread,innerClasses,interfaces,typeDecls,perSyncs,mutexSyncs}
WARNING: Using SubProduction class found without using package name. SStateDesignatorIRBase
Adding aspect fields: SStateDesignatorIRBase.{type}
WARNING: Using SubProduction class found without using package name. SObjectDesignatorIRBase
WARNING: Using SubProduction class found without using package name. SLocalParamIRBase
WARNING: Using SubProduction class found without using package name. SStmIRBase
Adding aspect fields: SCallStmBase.{type,isStatic,name,args}
WARNING: Using SubProduction class found without using package name. SLetBeStIRBase
WARNING: Using SubProduction class found without using package name. SExpIRBase
Adding aspect fields: SExpIRBase.{type}
WARNING: Using SubProduction class found without using package name. SModifierIRBase
Adding aspect fields: SIsExpBase.{exp}
Adding aspect fields: SVarExpBase.{isLambda,isLocal,name}
Adding aspect fields: SQuantifierExpBase.{bindList,predicate}
Adding aspect fields: SBinaryExpBase.{left,right}
Adding aspect fields: SUnaryExpBase.{exp}
WARNING: Using SubProduction class found without using package name. STypeIRBase
Adding aspect fields: STypeIRBase.{optional,namedInvType}
Adding aspect fields: SSetTypeBase.{empty,setOf}
Adding aspect fields: SSeqTypeBase.{empty,seq1,seqOf}
Adding aspect fields: SMapTypeBase.{empty,injective,from,to}
WARNING: Using SubProduction class found without using package name. STermIRBase
WARNING: Using SubProduction class found without using package name. STraceDeclIRBase
WARNING: Using SubProduction class found without using package name. STraceCoreDeclIRBase
Retry Create interfaces - with 16 not yet created interfaces.
Retry Create interfaces - with 1 not yet created interfaces.
Done creating interfaces
Generating toString add on...
Generating enumerations...
Generating analysis visitors...
Analysis...Answer...Question...Question-Answer...Depth-First...
Copying base classes to destination...
Writing source files.:
........................................................................
........................................................................
........................................................................
........................................................................
........................................................................
..........................
File write completed in 6 secs
[INFO] Generator completed with 456 generated files.
[INFO]
[INFO] --- build-helper-maven-plugin:1.10:add-source (add-source) @ ir ---
[INFO] Source directory: /var/lib/jenkins/workspace/overture-development/core/codegen/ir/target/generated-sources/astCreator added.
[INFO]
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ ir ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ ir ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 397 source files to /var/lib/jenkins/workspace/overture-development/core/codegen/ir/target/classes
[INFO]
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ ir ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-development/core/codegen/ir/src/test/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ ir ---
[INFO] No sources to compile
[INFO]
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ ir ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ ir ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/codegen/ir/target/ir-3.0.1-SNAPSHOT.jar
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ ir ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-development/core/codegen/ir/target/coverage-reports/jacoco-unit.exec
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ ir ---
[INFO]
4 warnings
[WARNING] Javadoc Warnings
[WARNING] /var/lib/jenkins/workspace/overture-development/core/codegen/ir/src/main/java/org/overture/codegen/ir/IrToStringUtil.java:3: error: package org.overture.codegen.ir.declarations does not exist
[WARNING] import org.overture.codegen.ir.declarations.AVarDeclIR;
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/codegen/ir/src/main/java/org/overture/codegen/ir/IrToStringUtil.java:4: error: package org.overture.codegen.ir.statements does not exist
[WARNING] import org.overture.codegen.ir.statements.ABlockStmIR;
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/codegen/ir/src/main/java/org/overture/codegen/ir/IrToStringUtil.java:8: error: cannot find symbol
[WARNING] public static String getSimpleBlockString(ABlockStmIR node)
[WARNING] ^
[WARNING] symbol: class ABlockStmIR
[WARNING] location: class IrToStringUtil
[WARNING] /var/lib/jenkins/workspace/overture-development/core/codegen/ir/src/main/java/org/overture/codegen/ir/IrToStringUtil.java:24: error: cannot find symbol
[WARNING] public static String getBlockSimpleBlockString(ABlockStmIR node)
[WARNING] ^
[WARNING] symbol: class ABlockStmIR
[WARNING] location: class IrToStringUtil
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/codegen/ir/target/ir-3.0.1-SNAPSHOT-javadoc.jar
[INFO]
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ ir ---
[INFO] Disabled
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ ir ---
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/codegen/ir/target/ir-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/codegen/ir/3.0.1-SNAPSHOT/ir-3.0.1-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/codegen/ir/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/codegen/ir/3.0.1-SNAPSHOT/ir-3.0.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/codegen/ir/target/ir-3.0.1-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/codegen/ir/3.0.1-SNAPSHOT/ir-3.0.1-SNAPSHOT-javadoc.jar
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 Code Generation Platform 3.0.1-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ platform ---
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-development/core/codegen/platform' for files matching the pattern '**/*.java' - excludes:
[TASKS] Found 174 files to scan for tasks
Found 11 open tasks.
[TASKS] Computing warning deltas based on reference build #271
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ platform ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-development/.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-development/core/codegen/platform/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) @ platform ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1 resource
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ platform ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 169 source files to /var/lib/jenkins/workspace/overture-development/core/codegen/platform/target/classes
[INFO] /var/lib/jenkins/workspace/overture-development/core/codegen/platform/src/main/java/org/overture/codegen/trans/FieldOrderTrans.java: /var/lib/jenkins/workspace/overture-development/core/codegen/platform/src/main/java/org/overture/codegen/trans/FieldOrderTrans.java uses unchecked or unsafe operations.
[INFO] /var/lib/jenkins/workspace/overture-development/core/codegen/platform/src/main/java/org/overture/codegen/trans/FieldOrderTrans.java: Recompile with -Xlint:unchecked for details.
[INFO]
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ platform ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 12 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ platform ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 5 source files to /var/lib/jenkins/workspace/overture-development/core/codegen/platform/target/test-classes
[INFO]
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ platform ---
-------------------------------------------------------
T E S T S
-------------------------------------------------------
Running org.overture.codegen.tests.LocalVarTest
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.255 sec - in org.overture.codegen.tests.LocalVarTest
Running org.overture.codegen.tests.util.DeclAssistantTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.002 sec - in org.overture.codegen.tests.util.DeclAssistantTest
Running org.overture.codegen.tests.TemplateManagerTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.183 sec - in org.overture.codegen.tests.TemplateManagerTest
Results :
Tests run: 17, Failures: 0, Errors: 0, Skipped: 0
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ platform ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/codegen/platform/target/platform-3.0.1-SNAPSHOT.jar
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ platform ---
[INFO] Analyzed bundle 'The Code Generation Platform' with 158 classes
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ platform ---
[ERROR] MavenReportException: Error while generating Javadoc: Unable to execute javadoc command: Error while executing external command, process killed.
org.apache.maven.reporting.MavenReportException: Unable to execute javadoc command: Error while executing external command, process killed.
at org.apache.maven.plugin.javadoc.AbstractJavadocMojo.executeJavadocCommandLine(AbstractJavadocMojo.java:5173)
at org.apache.maven.plugin.javadoc.AbstractJavadocMojo.executeReport(AbstractJavadocMojo.java:2075)
at org.apache.maven.plugin.javadoc.JavadocJar.execute(JavadocJar.java:188)
at org.apache.maven.plugin.DefaultBuildPluginManager.executeMojo(DefaultBuildPluginManager.java:106)
at org.apache.maven.lifecycle.internal.MojoExecutor.execute(MojoExecutor.java:208)
at org.apache.maven.lifecycle.internal.MojoExecutor.execute(MojoExecutor.java:153)
at org.apache.maven.lifecycle.internal.MojoExecutor.execute(MojoExecutor.java:145)
at org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject(LifecycleModuleBuilder.java:84)
at org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject(LifecycleModuleBuilder.java:59)
at org.apache.maven.lifecycle.internal.LifecycleStarter.singleThreadedBuild(LifecycleStarter.java:183)
at org.apache.maven.lifecycle.internal.LifecycleStarter.execute(LifecycleStarter.java:161)
at org.apache.maven.DefaultMaven.doExecute(DefaultMaven.java:317)
at org.apache.maven.DefaultMaven.execute(DefaultMaven.java:152)
at org.jvnet.hudson.maven3.launcher.Maven31Launcher.main(Maven31Launcher.java:132)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.codehaus.plexus.classworlds.launcher.Launcher.launchStandard(Launcher.java:330)
at org.codehaus.plexus.classworlds.launcher.Launcher.launch(Launcher.java:238)
at jenkins.maven3.agent.Maven31Main.launch(Maven31Main.java:187)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at hudson.maven.Maven3Builder.call(Maven3Builder.java:139)
at hudson.maven.Maven3Builder.call(Maven3Builder.java:70)
at hudson.remoting.UserRequest.perform(UserRequest.java:211)
at hudson.remoting.UserRequest.perform(UserRequest.java:54)
at hudson.remoting.Request$2.run(Request.java:369)
at hudson.remoting.InterceptingExecutorService$1.call(InterceptingExecutorService.java:72)
at java.util.concurrent.FutureTask.run(FutureTask.java:266)
at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
at java.lang.Thread.run(Thread.java:745)
Caused by: org.codehaus.plexus.util.cli.CommandLineTimeOutException: Error while executing external command, process killed.
at org.codehaus.plexus.util.cli.CommandLineUtils$1.call(CommandLineUtils.java:206)
at org.codehaus.plexus.util.cli.CommandLineUtils.executeCommandLine(CommandLineUtils.java:107)
at org.codehaus.plexus.util.cli.CommandLineUtils.executeCommandLine(CommandLineUtils.java:74)
at org.apache.maven.plugin.javadoc.AbstractJavadocMojo.executeJavadocCommandLine(AbstractJavadocMojo.java:5123)
... 34 more
Caused by: java.lang.InterruptedException
at java.lang.Object.wait(Native Method)
at java.lang.Object.wait(Object.java:502)
at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395)
at org.codehaus.plexus.util.cli.CommandLineUtils$1.call(CommandLineUtils.java:166)
... 37 more
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/codegen/platform/target/platform-3.0.1-SNAPSHOT-javadoc.jar
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 71 iota=219
[INFO]
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ platform ---
[INFO] Disabled
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 71 iota=219
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ platform ---
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/codegen/platform/target/platform-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/codegen/platform/3.0.1-SNAPSHOT/platform-3.0.1-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/codegen/platform/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/codegen/platform/3.0.1-SNAPSHOT/platform-3.0.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/codegen/platform/target/platform-3.0.1-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/codegen/platform/3.0.1-SNAPSHOT/platform-3.0.1-SNAPSHOT-javadoc.jar
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 71 iota=219
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 71 iota=219
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 48 iota=219
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building The Java Code Generator Runtime 3.0.1-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ codegen-runtime ---
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 48 iota=219
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ codegen-runtime ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-development/.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-development/core/codegen/codegen-runtime/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/**/*
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 48 iota=219
[INFO]
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ codegen-runtime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-development/core/codegen/codegen-runtime/src/main/resources
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 48 iota=219
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ codegen-runtime ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 53 source files to /var/lib/jenkins/workspace/overture-development/core/codegen/codegen-runtime/target/classes
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 48 iota=219
[INFO]
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ codegen-runtime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-development/core/codegen/codegen-runtime/src/test/resources
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 48 iota=219
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ codegen-runtime ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 7 source files to /var/lib/jenkins/workspace/overture-development/core/codegen/codegen-runtime/target/test-classes
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 48 iota=219
[INFO]
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ codegen-runtime ---
-------------------------------------------------------
T E S T S
-------------------------------------------------------
Running MapTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.266 sec - in MapTest
Running PermuteArrayTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.006 sec - in PermuteArrayTest
Running PermutorTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.005 sec - in PermutorTest
Running VDMUtilTest
Tests run: 21, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.04 sec - in VDMUtilTest
Running IsTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in IsTest
Running TupleTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in TupleTest
Running IOTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.012 sec - in IOTest
Results :
Tests run: 42, Failures: 0, Errors: 0, Skipped: 0
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 48 iota=219
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: Invalid object ID 48 iota=219
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ codegen-runtime ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/codegen/codegen-runtime/target/codegen-runtime-3.0.1-SNAPSHOT.jar
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 48 iota=219
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ codegen-runtime ---
[INFO] Analyzed bundle 'The Java Code Generator Runtime' with 50 classes
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 48 iota=219
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ codegen-runtime ---
[INFO]
9 warnings
[WARNING] Javadoc Warnings
[WARNING] /var/lib/jenkins/workspace/overture-development/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/copying/DeepCopy.java:19: warning: no @param for orig
[WARNING] public static Object copy(Object orig)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/copying/DeepCopy.java:19: warning: no @return
[WARNING] public static Object copy(Object orig)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/copying/FastByteArrayOutputStream.java:57: warning: no @return
[WARNING] public byte[] getByteArray()
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/copying/FastByteArrayOutputStream.java:90: warning: no @return
[WARNING] public InputStream getInputStream()
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/copying/FastByteArrayOutputStream.java:28: warning: no @param for initSize
[WARNING] public FastByteArrayOutputStream(int initSize)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/TestSequence.java:53: warning: no description for @param
[WARNING] * @param result
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/TestSequence.java:54: warning: no description for @param
[WARNING] * @param test
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/TestSequence.java:55: warning: no description for @param
[WARNING] * @param n
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/TestSequence.java:100: warning: no description for @param
[WARNING] * @param other
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/codegen/codegen-runtime/target/codegen-runtime-3.0.1-SNAPSHOT-javadoc.jar
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 48 iota=219
[INFO]
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ codegen-runtime ---
[INFO] Disabled
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 48 iota=219
[INFO]
[INFO] --- maven-source-plugin:3.0.0:jar-no-fork (attach-sources) @ codegen-runtime ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/codegen/codegen-runtime/target/codegen-runtime-3.0.1-SNAPSHOT-sources.jar
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 48 iota=219
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ codegen-runtime ---
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/codegen/codegen-runtime/target/codegen-runtime-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/codegen/codegen-runtime/3.0.1-SNAPSHOT/codegen-runtime-3.0.1-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/codegen/codegen-runtime/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/codegen/codegen-runtime/3.0.1-SNAPSHOT/codegen-runtime-3.0.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/codegen/codegen-runtime/target/codegen-runtime-3.0.1-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/codegen/codegen-runtime/3.0.1-SNAPSHOT/codegen-runtime-3.0.1-SNAPSHOT-javadoc.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/codegen/codegen-runtime/target/codegen-runtime-3.0.1-SNAPSHOT-sources.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/codegen/codegen-runtime/3.0.1-SNAPSHOT/codegen-runtime-3.0.1-SNAPSHOT-sources.jar
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 48 iota=219
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 48 iota=219
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 40 iota=219
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building The Java Code Generator Testing 3.0.1-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ javagen-test ---
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 40 iota=219
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ javagen-test ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-development/.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-development/core/codegen/javagen-test/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/**/*
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 40 iota=219
[INFO]
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ javagen-test ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-development/core/codegen/javagen-test/src/main/resources
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 40 iota=219
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ javagen-test ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 19 source files to /var/lib/jenkins/workspace/overture-development/core/codegen/javagen-test/target/classes
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 40 iota=219
[INFO]
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ javagen-test ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-development/core/codegen/javagen-test/src/test/resources
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 40 iota=219
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ javagen-test ---
[INFO] No sources to compile
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 40 iota=219
[INFO]
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ javagen-test ---
[INFO] No tests to run.
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 40 iota=219
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: Invalid object ID 40 iota=219
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ javagen-test ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/codegen/javagen-test/target/javagen-test-3.0.1-SNAPSHOT.jar
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 40 iota=219
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ javagen-test ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-development/core/codegen/javagen-test/target/coverage-reports/jacoco-unit.exec
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 40 iota=219
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ javagen-test ---
[ERROR] Error fetching link: /var/lib/jenkins/workspace/overture-development/core/codegen/platform/target/apidocs/package-list. Ignored it.
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/codegen/javagen-test/target/javagen-test-3.0.1-SNAPSHOT-javadoc.jar
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 40 iota=219
[INFO]
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ javagen-test ---
[INFO] Disabled
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 40 iota=219
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ javagen-test ---
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/codegen/javagen-test/target/javagen-test-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/codegen/javagen-test/3.0.1-SNAPSHOT/javagen-test-3.0.1-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/codegen/javagen-test/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/codegen/javagen-test/3.0.1-SNAPSHOT/javagen-test-3.0.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/codegen/javagen-test/target/javagen-test-3.0.1-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/codegen/javagen-test/3.0.1-SNAPSHOT/javagen-test-3.0.1-SNAPSHOT-javadoc.jar
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 40 iota=219
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 40 iota=219
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 29 iota=219
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building The Java Code Generator 3.0.1-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ javagen ---
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 29 iota=219
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ javagen ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-development/.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-development/core/codegen/javagen/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/**/*
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 29 iota=219
[INFO]
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ javagen ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 184 resources
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 29 iota=219
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ javagen ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 34 source files to /var/lib/jenkins/workspace/overture-development/core/codegen/javagen/target/classes
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 29 iota=219
[INFO]
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ javagen ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2082 resources
Build was aborted
Aborted by idhugoid
channel stopped
SSH: Current build result is [ABORTED], not going to run.
[Set GitHub commit status (universal)] PENDING on repos [GHRepository@5c76f531[description=The Overture Tool,homepage=http://overturetool.org,name=overture,fork=false,archived=false,size=214607,milestones={},language=Java,commits={},source=<null>,parent=<null>,responseHeaderFields={null=[HTTP/1.1 200 OK], Access-Control-Allow-Origin=[*], Access-Control-Expose-Headers=[ETag, Link, Location, Retry-After, X-GitHub-OTP, X-RateLimit-Limit, X-RateLimit-Remaining, X-RateLimit-Used, X-RateLimit-Reset, X-OAuth-Scopes, X-Accepted-OAuth-Scopes, X-Poll-Interval, X-GitHub-Media-Type, Deprecation, Sunset], Cache-Control=[private, max-age=60, s-maxage=60], Content-Encoding=[gzip], Content-Security-Policy=[default-src 'none'], Content-Type=[application/json; charset=utf-8], Date=[Tue, 08 Sep 2020 13:59:11 GMT], ETag=[W/"95d3131cbfae77c862f94becf764b284"], Last-Modified=[Tue, 08 Sep 2020 13:57:46 GMT], OkHttp-Received-Millis=[1599573551393], OkHttp-Response-Source=[CONDITIONAL_CACHE 200], OkHttp-Selected-Protocol=[http/1.1], OkHttp-Sent-Millis=[1599573551181], Referrer-Policy=[origin-when-cross-origin, strict-origin-when-cross-origin], Server=[GitHub.com], Status=[200 OK], Strict-Transport-Security=[max-age=31536000; includeSubdomains; preload], Transfer-Encoding=[chunked], Vary=[Accept, Authorization, Cookie, X-GitHub-OTP, Accept-Encoding, Accept, X-Requested-With, Accept-Encoding], X-Accepted-OAuth-Scopes=[repo], X-Content-Type-Options=[nosniff], X-Frame-Options=[deny], X-GitHub-Media-Type=[github.v3; format=json], X-GitHub-Request-Id=[BC88:BAC2:FE2EACA:132DC6FC:5F578E2F], X-OAuth-Scopes=[read:repo_hook, repo, user], X-RateLimit-Limit=[5000], X-RateLimit-Remaining=[4995], X-RateLimit-Reset=[1599575377], X-RateLimit-Used=[5], X-XSS-Protection=[1; mode=block]},url=https://api.github.com/repos/overturetool/overture,id=14611005]] (sha:73f4df6) with context:overture-development
Setting commit status on GitHub for https://github.com/overturetool/overture/commit/73f4df6adce38e18cb9ac1465d9af63dd6865883
![[Jenkins]](/jenkins/static/aeeb6498/images/jenkins-header-logo-v2.svg){kind=logo}
