SuccessConsole Output

Jenkins Artifactory Plugin version: 2.13.1
Artifactory integration is enabled
[branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA] $ /usr/lib/jvm/java-8-oracle/bin/java -classpath /var/lib/jenkins/tools/hudson.tasks.Maven_MavenInstallation/Maven_3.1.1/boot/* -Dmaven.home=/var/lib/jenkins/tools/hudson.tasks.Maven_MavenInstallation/Maven_3.1.1 -DbuildInfoConfig.propertiesFile=/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA@tmp/buildInfo2250049369222568131.properties -Dm3plugin.lib=/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA@tmp/cache/artifactory-plugin/2.13.1 -Dclassworlds.conf=/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA@tmp/classworlds5589308144682297797conf -Dmaven.multiModuleProjectDirectory=/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA -Xmx1024m -XX:MaxPermSize=256M org.codehaus.plexus.classworlds.launcher.Launcher -f pom.xml install
Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=256M; support was removed in 8.0
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - Scanning for projects...
[main] INFO org.jfrog.build.extractor.maven.BuildInfoRecorder - Initializing Artifactory Build-Info Recording
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - ------------------------------------------------------------------------
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - Reactor Build Order:
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - Overture VDM 2 C Translator Root
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - C native root vdm2c
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - The C Code Generator VDM library sources
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - The C Code Generator VDM distribution library sources
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - Core Tools for vdm2c
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - The C Code Generator
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger -                                                                         
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - ------------------------------------------------------------------------
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - Building Overture VDM 2 C Translator Root 0.2.1-SNAPSHOT
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - ------------------------------------------------------------------------
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ root ---
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ root ---
[main] INFO org.jacoco.maven.AgentMojo - argLine set to -javaagent:/var/lib/jenkins/.m2/repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/target/coverage-reports/jacoco-unit.exec,excludes=org/overture/cgc/extast/analysis/**/*.*:org/overture/codegen/vdm2c/extast/expressions/**/*:org/overture/codegen/vdm2c/extast/declarations/**/*:org/overture/codegen/vdm2c/extast/statements/**/*:org/overture/cgc/extast/node/**/*:org/overture/codegen/vdm2c/ast/preview/**/*
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ root ---
[main] INFO org.jacoco.maven.ReportMojo - Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/target/coverage-reports/jacoco-unit.exec
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-install-plugin:2.4:install (default-install) @ root ---
[main] INFO org.apache.maven.DefaultMaven - Installing /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/pom.xml to /var/lib/jenkins/.m2/repository/org/overturetool/vdm2c/root/0.2.1-SNAPSHOT/root-0.2.1-SNAPSHOT.pom
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger -                                                                         
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - ------------------------------------------------------------------------
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - Building C native root vdm2c 0.2.1-SNAPSHOT
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - ------------------------------------------------------------------------
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ c ---
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ c ---
[main] INFO org.jacoco.maven.AgentMojo - argLine set to -javaagent:/var/lib/jenkins/.m2/repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/target/coverage-reports/jacoco-unit.exec,excludes=org/overture/cgc/extast/analysis/**/*.*:org/overture/codegen/vdm2c/extast/expressions/**/*:org/overture/codegen/vdm2c/extast/declarations/**/*:org/overture/codegen/vdm2c/extast/statements/**/*:org/overture/cgc/extast/node/**/*:org/overture/codegen/vdm2c/ast/preview/**/*
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-antrun-plugin:1.7:run (copy-dependencies) @ c ---
[main] INFO org.apache.maven.plugin.antrun.AntRunMojo - Executing tasks

main:
     [exec] -- Configuring done
     [exec] -- Generating done
     [exec] -- Build files have been written to: /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c
[main] INFO org.apache.maven.plugin.antrun.AntRunMojo - Executed tasks
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ c ---
[main] INFO org.jacoco.maven.ReportMojo - Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/target/coverage-reports/jacoco-unit.exec
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-install-plugin:2.4:install (default-install) @ c ---
[main] INFO org.apache.maven.DefaultMaven - Installing /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/pom.xml to /var/lib/jenkins/.m2/repository/org/overturetool/vdm2c/c/0.2.1-SNAPSHOT/c-0.2.1-SNAPSHOT.pom
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger -                                                                         
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - ------------------------------------------------------------------------
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - Building The C Code Generator VDM library sources 0.2.1-SNAPSHOT
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - ------------------------------------------------------------------------
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ vdmclib ---
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ vdmclib ---
[main] INFO org.jacoco.maven.AgentMojo - argLine set to -javaagent:/var/lib/jenkins/.m2/repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/vdmclib/target/coverage-reports/jacoco-unit.exec,excludes=org/overture/cgc/extast/analysis/**/*.*:org/overture/codegen/vdm2c/extast/expressions/**/*:org/overture/codegen/vdm2c/extast/declarations/**/*:org/overture/codegen/vdm2c/extast/statements/**/*:org/overture/cgc/extast/node/**/*:org/overture/codegen/vdm2c/ast/preview/**/*
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-resources-plugin:2.6:resources (default-resources) @ vdmclib ---
[main] INFO org.apache.maven.shared.filtering.DefaultMavenResourcesFiltering - Using 'UTF-8' encoding to copy filtered resources.
[main] INFO org.apache.maven.shared.filtering.DefaultMavenResourcesFiltering - Copying 75 resources to /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/vdmclib/target/classes/src
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-compiler-plugin:3.0:compile (default-compile) @ vdmclib ---
[main] INFO org.apache.maven.plugin.compiler.CompilerMojo - No sources to compile
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-resources-plugin:2.6:testResources (default-testResources) @ vdmclib ---
[main] INFO org.apache.maven.shared.filtering.DefaultMavenResourcesFiltering - Using 'UTF-8' encoding to copy filtered resources.
[main] INFO org.apache.maven.shared.filtering.DefaultMavenResourcesFiltering - Copying 2 resources
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-compiler-plugin:3.0:testCompile (default-testCompile) @ vdmclib ---
[main] INFO org.apache.maven.plugin.compiler.TestCompilerMojo - No sources to compile
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-surefire-plugin:2.19:test (default-test) @ vdmclib ---
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-antrun-plugin:1.7:run (copy-dependencies) @ vdmclib ---
[main] INFO org.apache.maven.plugin.antrun.AntRunMojo - Executing tasks

main:
     [exec] cd /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c && /usr/bin/cmake -H/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c -B/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c --check-build-system CMakeFiles/Makefile.cmake 0
     [exec] cd /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c && /usr/bin/cmake -E cmake_progress_start /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/CMakeFiles /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/vdmclib/CMakeFiles/progress.marks
     [exec] cd /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c && make -f CMakeFiles/Makefile2 vdmclib/all
     [exec] make[1]: Entering directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] make -f third_party/googletest/googletest/CMakeFiles/gtest.dir/build.make third_party/googletest/googletest/CMakeFiles/gtest.dir/depend
     [exec] make[2]: Entering directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] cd /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/third_party/googletest/googletest /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/third_party/googletest/googletest /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/third_party/googletest/googletest/CMakeFiles/gtest.dir/DependInfo.cmake --color=
     [exec] make[2]: Leaving directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] make -f third_party/googletest/googletest/CMakeFiles/gtest.dir/build.make third_party/googletest/googletest/CMakeFiles/gtest.dir/build
     [exec] make[2]: Entering directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] make[2]: Nothing to be done for 'third_party/googletest/googletest/CMakeFiles/gtest.dir/build'.
     [exec] make[2]: Leaving directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] [  3%] Built target gtest
     [exec] make -f third_party/googletest/googletest/CMakeFiles/gtest_main.dir/build.make third_party/googletest/googletest/CMakeFiles/gtest_main.dir/depend
     [exec] make[2]: Entering directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] cd /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/third_party/googletest/googletest /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/third_party/googletest/googletest /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/third_party/googletest/googletest/CMakeFiles/gtest_main.dir/DependInfo.cmake --color=
     [exec] make[2]: Leaving directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] make -f third_party/googletest/googletest/CMakeFiles/gtest_main.dir/build.make third_party/googletest/googletest/CMakeFiles/gtest_main.dir/build
     [exec] make[2]: Entering directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] make[2]: Nothing to be done for 'third_party/googletest/googletest/CMakeFiles/gtest_main.dir/build'.
     [exec] make[2]: Leaving directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] [  7%] Built target gtest_main
     [exec] make -f vdmclib/CMakeFiles/vdmclib.dir/build.make vdmclib/CMakeFiles/vdmclib.dir/depend
     [exec] make[2]: Entering directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] cd /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/vdmclib /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/vdmclib /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/vdmclib/CMakeFiles/vdmclib.dir/DependInfo.cmake --color=
     [exec] make[2]: Leaving directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] make -f vdmclib/CMakeFiles/vdmclib.dir/build.make vdmclib/CMakeFiles/vdmclib.dir/build
     [exec] make[2]: Entering directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] make[2]: Nothing to be done for 'vdmclib/CMakeFiles/vdmclib.dir/build'.
     [exec] make[2]: Leaving directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] [100%] Built target vdmclib
     [exec] make[1]: Leaving directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] /usr/bin/cmake -E cmake_progress_start /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/CMakeFiles 0
     [exec] Running tests...
     [exec] /usr/bin/ctest --force-new-ctest-process 
     [exec] Test project /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/vdmclib
     [exec]     Start 1: vdmclib-tests
     [exec] 1/1 Test #1: vdmclib-tests ....................   Passed    0.22 sec
     [exec] 
     [exec] 100% tests passed, 0 tests failed out of 1
     [exec] 
     [exec] Total Test time (real) =   0.23 sec
[main] INFO org.apache.maven.plugin.antrun.AntRunMojo - Executed tasks
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-jar-plugin:2.4:jar (default-jar) @ vdmclib ---
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ vdmclib ---
[main] INFO org.jacoco.maven.ReportMojo - Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/vdmclib/target/coverage-reports/jacoco-unit.exec
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-install-plugin:2.4:install (default-install) @ vdmclib ---
[main] INFO org.apache.maven.DefaultMaven - Installing /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/vdmclib/target/vdmclib-0.2.1-SNAPSHOT.jar to /var/lib/jenkins/.m2/repository/org/overturetool/vdm2c/c/vdmclib/0.2.1-SNAPSHOT/vdmclib-0.2.1-SNAPSHOT.jar
[main] INFO org.apache.maven.DefaultMaven - Installing /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/vdmclib/pom.xml to /var/lib/jenkins/.m2/repository/org/overturetool/vdm2c/c/vdmclib/0.2.1-SNAPSHOT/vdmclib-0.2.1-SNAPSHOT.pom
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger -                                                                         
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - ------------------------------------------------------------------------
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - Building The C Code Generator VDM distribution library sources 0.2.1-SNAPSHOT
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - ------------------------------------------------------------------------
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ vdmclibdist ---
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ vdmclibdist ---
[main] INFO org.jacoco.maven.AgentMojo - argLine set to -javaagent:/var/lib/jenkins/.m2/repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/vdmclibdist/target/coverage-reports/jacoco-unit.exec,excludes=org/overture/cgc/extast/analysis/**/*.*:org/overture/codegen/vdm2c/extast/expressions/**/*:org/overture/codegen/vdm2c/extast/declarations/**/*:org/overture/codegen/vdm2c/extast/statements/**/*:org/overture/cgc/extast/node/**/*:org/overture/codegen/vdm2c/ast/preview/**/*
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-resources-plugin:2.6:resources (default-resources) @ vdmclibdist ---
[main] INFO org.apache.maven.shared.filtering.DefaultMavenResourcesFiltering - Using 'UTF-8' encoding to copy filtered resources.
[main] INFO org.apache.maven.shared.filtering.DefaultMavenResourcesFiltering - Copying 10 resources to /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/vdmclibdist/target/classes/src
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-compiler-plugin:3.0:compile (default-compile) @ vdmclibdist ---
[main] INFO org.apache.maven.plugin.compiler.CompilerMojo - No sources to compile
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-resources-plugin:2.6:testResources (default-testResources) @ vdmclibdist ---
[main] INFO org.apache.maven.shared.filtering.DefaultMavenResourcesFiltering - Using 'UTF-8' encoding to copy filtered resources.
[main] INFO org.apache.maven.shared.filtering.DefaultMavenResourcesFiltering - skip non existing resourceDirectory /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/vdmclibdist/src/test/resources
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-compiler-plugin:3.0:testCompile (default-testCompile) @ vdmclibdist ---
[main] INFO org.apache.maven.plugin.compiler.TestCompilerMojo - No sources to compile
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-surefire-plugin:2.19:test (default-test) @ vdmclibdist ---
[main] INFO org.apache.maven.plugin.surefire.SurefirePlugin - No tests to run.
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-antrun-plugin:1.7:run (copy-dependencies) @ vdmclibdist ---
[main] INFO org.apache.maven.plugin.antrun.AntRunMojo - Executing tasks

main:
     [exec] cd /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c && /usr/bin/cmake -H/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c -B/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c --check-build-system CMakeFiles/Makefile.cmake 0
     [exec] cd /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c && /usr/bin/cmake -E cmake_progress_start /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/CMakeFiles /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/vdmclibdist/CMakeFiles/progress.marks
     [exec] cd /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c && make -f CMakeFiles/Makefile2 vdmclibdist/all
     [exec] make[1]: Entering directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] make -f third_party/googletest/googletest/CMakeFiles/gtest.dir/build.make third_party/googletest/googletest/CMakeFiles/gtest.dir/depend
     [exec] make[2]: Entering directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] cd /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/third_party/googletest/googletest /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/third_party/googletest/googletest /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/third_party/googletest/googletest/CMakeFiles/gtest.dir/DependInfo.cmake --color=
     [exec] make[2]: Leaving directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] make -f third_party/googletest/googletest/CMakeFiles/gtest.dir/build.make third_party/googletest/googletest/CMakeFiles/gtest.dir/build
     [exec] make[2]: Entering directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] make[2]: Nothing to be done for 'third_party/googletest/googletest/CMakeFiles/gtest.dir/build'.
     [exec] make[2]: Leaving directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] [  8%] Built target gtest
     [exec] make -f third_party/googletest/googletest/CMakeFiles/gtest_main.dir/build.make third_party/googletest/googletest/CMakeFiles/gtest_main.dir/depend
     [exec] make[2]: Entering directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] cd /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/third_party/googletest/googletest /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/third_party/googletest/googletest /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/third_party/googletest/googletest/CMakeFiles/gtest_main.dir/DependInfo.cmake --color=
     [exec] make[2]: Leaving directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] make -f third_party/googletest/googletest/CMakeFiles/gtest_main.dir/build.make third_party/googletest/googletest/CMakeFiles/gtest_main.dir/build
     [exec] make[2]: Entering directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] make[2]: Nothing to be done for 'third_party/googletest/googletest/CMakeFiles/gtest_main.dir/build'.
     [exec] make[2]: Leaving directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] [ 16%] Built target gtest_main
     [exec] make -f vdmclibdist/CMakeFiles/vdmclibdist.dir/build.make vdmclibdist/CMakeFiles/vdmclibdist.dir/depend
     [exec] make[2]: Entering directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] cd /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/vdmclibdist /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/vdmclibdist /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/vdmclibdist/CMakeFiles/vdmclibdist.dir/DependInfo.cmake --color=
     [exec] make[2]: Leaving directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] make -f vdmclibdist/CMakeFiles/vdmclibdist.dir/build.make vdmclibdist/CMakeFiles/vdmclibdist.dir/build
     [exec] make[2]: Entering directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] make[2]: Nothing to be done for 'vdmclibdist/CMakeFiles/vdmclibdist.dir/build'.
     [exec] make[2]: Leaving directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] [100%] Built target vdmclibdist
     [exec] make[1]: Leaving directory '/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c'
     [exec] /usr/bin/cmake -E cmake_progress_start /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/CMakeFiles 0
     [exec] Running tests...
     [exec] /usr/bin/ctest --force-new-ctest-process 
     [exec] Test project /var/lib/jenkins/workspace/branch-pipeline_development-WNo tests were found!!!
     [exec] GGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/vdmclibdist
[main] INFO org.apache.maven.plugin.antrun.AntRunMojo - Executed tasks
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-jar-plugin:2.4:jar (default-jar) @ vdmclibdist ---
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ vdmclibdist ---
[main] INFO org.jacoco.maven.ReportMojo - Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/vdmclibdist/target/coverage-reports/jacoco-unit.exec
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-install-plugin:2.4:install (default-install) @ vdmclibdist ---
[main] INFO org.apache.maven.DefaultMaven - Installing /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/vdmclibdist/target/vdmclibdist-0.2.1-SNAPSHOT.jar to /var/lib/jenkins/.m2/repository/org/overturetool/vdm2c/c/vdmclibdist/0.2.1-SNAPSHOT/vdmclibdist-0.2.1-SNAPSHOT.jar
[main] INFO org.apache.maven.DefaultMaven - Installing /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/c/vdmclibdist/pom.xml to /var/lib/jenkins/.m2/repository/org/overturetool/vdm2c/c/vdmclibdist/0.2.1-SNAPSHOT/vdmclibdist-0.2.1-SNAPSHOT.pom
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger -                                                                         
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - ------------------------------------------------------------------------
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - Building Core Tools for vdm2c 0.2.1-SNAPSHOT
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - ------------------------------------------------------------------------
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ core ---
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ core ---
[main] INFO org.jacoco.maven.AgentMojo - argLine set to -javaagent:/var/lib/jenkins/.m2/repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/core/target/coverage-reports/jacoco-unit.exec,excludes=org/overture/cgc/extast/analysis/**/*.*:org/overture/codegen/vdm2c/extast/expressions/**/*:org/overture/codegen/vdm2c/extast/declarations/**/*:org/overture/codegen/vdm2c/extast/statements/**/*:org/overture/cgc/extast/node/**/*:org/overture/codegen/vdm2c/ast/preview/**/*
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ core ---
[main] INFO org.jacoco.maven.ReportMojo - Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/core/target/coverage-reports/jacoco-unit.exec
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-javadoc-plugin:2.9:jar (attach-javadocs) @ core ---
[main] INFO org.apache.maven.plugin.javadoc.JavadocJar - Not executing Javadoc as the project is not a Java classpath-capable package
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-install-plugin:2.4:install (default-install) @ core ---
[main] INFO org.apache.maven.DefaultMaven - Installing /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/core/pom.xml to /var/lib/jenkins/.m2/repository/org/overturetool/vdm2c/core/0.2.1-SNAPSHOT/core-0.2.1-SNAPSHOT.pom
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger -                                                                         
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - ------------------------------------------------------------------------
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - Building The C Code Generator 0.2.1-SNAPSHOT
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - ------------------------------------------------------------------------
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ vdm2c ---
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ vdm2c ---
[main] INFO org.jacoco.maven.AgentMojo - argLine set to -javaagent:/var/lib/jenkins/.m2/repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/core/vdm2c/target/coverage-reports/jacoco-unit.exec,excludes=org/overture/cgc/extast/analysis/**/*.*:org/overture/codegen/vdm2c/extast/expressions/**/*:org/overture/codegen/vdm2c/extast/declarations/**/*:org/overture/codegen/vdm2c/extast/statements/**/*:org/overture/cgc/extast/node/**/*:org/overture/codegen/vdm2c/ast/preview/**/*
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- astcreator-plugin:1.6.8:generate (generate-ast) @ vdm2c ---
[main] INFO org.overture.tools.maven.astcreator.GenerateTree - Preparing for tree generation...
[main] INFO org.overture.tools.maven.astcreator.GenerateTree - Configuring extension
[main] INFO org.overture.tools.maven.astcreator.GenerateTree - 	Extension base dependency is: "org.overturetool.core.codegen:ir"
[main] INFO org.overture.tools.maven.astcreator.GenerateTree - 	Searching for base dependency artifact
[main] INFO org.overture.tools.maven.astcreator.GenerateTree - 	Extension base artifact found - exstracting base tree definition files
[main] INFO org.overture.tools.maven.astcreator.GenerateTree - 	Setting base definition files to:
[main] INFO org.overture.tools.maven.astcreator.GenerateTree - 		base: /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/core/vdm2c/target/ir.ast
[main] INFO org.overture.tools.maven.astcreator.GenerateTree - 		base tostring: /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/core/vdm2c/target/ir.ast.tostring
[main] INFO org.overture.tools.maven.astcreator.GenerateTree - 	Extension base artifact configured.
[main] INFO org.overture.tools.maven.astcreator.GenerateTree - Checking if generation required.
[main] INFO org.overture.tools.maven.astcreator.GenerateTree - Extended AST unchanged
[main] INFO org.overture.tools.maven.astcreator.GenerateTree - Nothing to generate, source already up-to-date
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- build-helper-maven-plugin:1.7:add-source (add-source) @ vdm2c ---
[main] INFO org.codehaus.mojo.buildhelper.AddSourceMojo - Source directory: /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/core/vdm2c/target/generated-sources/astCreator added.
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-resources-plugin:2.6:resources (default-resources) @ vdm2c ---
[main] INFO org.apache.maven.shared.filtering.DefaultMavenResourcesFiltering - Using 'UTF-8' encoding to copy filtered resources.
[main] INFO org.apache.maven.shared.filtering.DefaultMavenResourcesFiltering - Copying 90 resources
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-compiler-plugin:3.0:compile (default-compile) @ vdm2c ---
[main] INFO org.apache.maven.plugin.compiler.CompilerMojo - Changes detected - recompiling the module!
[main] INFO org.codehaus.plexus.compiler.javac.JavacCompiler - Compiling 142 source files to /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/core/vdm2c/target/classes
[main] WARN org.apache.maven.plugin.compiler.CompilerMojo - /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java: Some input files use unchecked or unsafe operations.
[main] WARN org.apache.maven.plugin.compiler.CompilerMojo - /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java: Recompile with -Xlint:unchecked for details.
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-resources-plugin:2.6:testResources (default-testResources) @ vdm2c ---
[main] INFO org.apache.maven.shared.filtering.DefaultMavenResourcesFiltering - Using 'UTF-8' encoding to copy filtered resources.
[main] INFO org.apache.maven.shared.filtering.DefaultMavenResourcesFiltering - Copying 287 resources
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-compiler-plugin:3.0:testCompile (default-testCompile) @ vdm2c ---
[main] INFO org.apache.maven.plugin.compiler.TestCompilerMojo - Changes detected - recompiling the module!
[main] INFO org.codehaus.plexus.compiler.javac.JavacCompiler - Compiling 26 source files to /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/core/vdm2c/target/test-classes
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-surefire-plugin:2.19:test (default-test) @ vdm2c ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.overture.codegen.vdm2c.IsExpTypeEncoderTest
Tests run: 23, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.21 sec - in org.overture.codegen.vdm2c.IsExpTypeEncoderTest
Running org.overture.codegen.vdm2c.ContractsTests
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.924 sec - in org.overture.codegen.vdm2c.ContractsTests
Running org.overture.codegen.vdm2c.ValueTypeGarbageCollectionTests
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 7.449 sec - in org.overture.codegen.vdm2c.ValueTypeGarbageCollectionTests
Running org.overture.codegen.vdm2c.ClassAssocAnalysisTest
Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.011 sec - in org.overture.codegen.vdm2c.ClassAssocAnalysisTest
Running org.overture.codegen.vdm2c.DistributionTests
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 10.487 sec - in org.overture.codegen.vdm2c.DistributionTests
Running org.overture.codegen.vdm2c.IsExpUnionTypeFinderTest
Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.008 sec - in org.overture.codegen.vdm2c.IsExpUnionTypeFinderTest
Running org.overture.codegen.vdm2c.ValueTypesTests
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 7.667 sec - in org.overture.codegen.vdm2c.ValueTypesTests
Running org.overture.codegen.vdm2c.NativeGarbageCollectionTest
Tests run: 24, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 50.802 sec - in org.overture.codegen.vdm2c.NativeGarbageCollectionTest
Running org.overture.codegen.vdm2c.PaperExampleTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 7.858 sec - in org.overture.codegen.vdm2c.PaperExampleTests
Running org.overture.codegen.vdm2c.NativeClassesTests
Tests run: 26, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 51.378 sec - in org.overture.codegen.vdm2c.NativeClassesTests
Running org.overture.codegen.vdm2c.ExplicitMemoryManagementTests
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.685 sec - in org.overture.codegen.vdm2c.ExplicitMemoryManagementTests
Running org.overture.codegen.vdm2c.TimeFinderTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.001 sec - in org.overture.codegen.vdm2c.TimeFinderTest
Running org.overture.codegen.vdm2c.NameManglerTests
Tests run: 20, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.016 sec - in org.overture.codegen.vdm2c.NameManglerTests
Running org.overture.codegen.vdm2c.NativeClassesGarbageCollectionTest
Tests run: 26, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 50.688 sec - in org.overture.codegen.vdm2c.NativeClassesGarbageCollectionTest
Running org.overture.codegen.vdm2c.DistSystemAnalysisTests
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.086 sec - in org.overture.codegen.vdm2c.DistSystemAnalysisTests
Running org.overture.codegen.vdm2c.CasesTest
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 9.231 sec - in org.overture.codegen.vdm2c.CasesTest
Running org.overture.codegen.vdm2c.FeatureAnalysisTest
Tests run: 17, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.012 sec - in org.overture.codegen.vdm2c.FeatureAnalysisTest
Running org.overture.codegen.vdm2c.ExternalTests
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.codegen.vdm2c.ExternalTests
Running org.overture.codegen.vdm2c.NativeTests
Tests run: 24, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 49.151 sec - in org.overture.codegen.vdm2c.NativeTests
Running org.overture.codegen.vdm2c.ContractsGarbageCollectionTests
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.721 sec - in org.overture.codegen.vdm2c.ContractsGarbageCollectionTests

Results :

Tests run: 193, Failures: 0, Errors: 0, Skipped: 2

[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-jar-plugin:2.4:jar (default-jar) @ vdm2c ---
[main] INFO org.codehaus.plexus.archiver.jar.JarArchiver - Building jar: /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/core/vdm2c/target/vdm2c-0.2.1-SNAPSHOT.jar
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ vdm2c ---
[main] INFO org.jacoco.maven.ReportMojo - Analyzed bundle 'The C Code Generator' with 110 classes
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-assembly-plugin:2.4:single (make-my-jar-with-dependencies) @ vdm2c ---
[main] INFO org.codehaus.plexus.archiver.jar.JarArchiver - Building jar: /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/core/vdm2c/target/vdm2c-0.2.1-SNAPSHOT-jar-with-dependencies.jar
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-javadoc-plugin:2.9:jar (attach-javadocs) @ vdm2c ---
[main] INFO org.apache.maven.plugin.javadoc.JavadocJar - Skipping javadoc generation
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - --- maven-install-plugin:2.4:install (default-install) @ vdm2c ---
[main] INFO org.apache.maven.DefaultMaven - Installing /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/core/vdm2c/target/vdm2c-0.2.1-SNAPSHOT.jar to /var/lib/jenkins/.m2/repository/org/overturetool/vdm2c/core/vdm2c/0.2.1-SNAPSHOT/vdm2c-0.2.1-SNAPSHOT.jar
[main] INFO org.apache.maven.DefaultMaven - Installing /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/core/vdm2c/pom.xml to /var/lib/jenkins/.m2/repository/org/overturetool/vdm2c/core/vdm2c/0.2.1-SNAPSHOT/vdm2c-0.2.1-SNAPSHOT.pom
[main] INFO org.apache.maven.DefaultMaven - Installing /var/lib/jenkins/workspace/branch-pipeline_development-WGGN5A6IEZRDLXV3NZD3XDZP2RD6LCSUKP5QTUAVJXVPKTFW6VWA/core/vdm2c/target/vdm2c-0.2.1-SNAPSHOT-jar-with-dependencies.jar to /var/lib/jenkins/.m2/repository/org/overturetool/vdm2c/core/vdm2c/0.2.1-SNAPSHOT/vdm2c-0.2.1-SNAPSHOT-jar-with-dependencies.jar
[main] INFO org.jfrog.build.extractor.maven.BuildInfoClientBuilder - Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c/org/overturetool/vdm2c/core/vdm2c/0.2.1-SNAPSHOT/vdm2c-0.2.1-SNAPSHOT-jar-with-dependencies.jar
log4j:WARN No appenders could be found for logger (org.apache.http.client.protocol.RequestAddCookies).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[main] INFO org.jfrog.build.extractor.maven.BuildInfoClientBuilder - Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c/org/overturetool/vdm2c/core/vdm2c/0.2.1-SNAPSHOT/vdm2c-0.2.1-SNAPSHOT.jar
[main] INFO org.jfrog.build.extractor.maven.BuildInfoClientBuilder - Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c/org/overturetool/vdm2c/core/vdm2c/0.2.1-SNAPSHOT/vdm2c-0.2.1-SNAPSHOT.pom
[main] INFO org.jfrog.build.extractor.maven.BuildInfoClientBuilder - Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c/org/overturetool/vdm2c/core/0.2.1-SNAPSHOT/core-0.2.1-SNAPSHOT.pom
[main] INFO org.jfrog.build.extractor.maven.BuildInfoClientBuilder - Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c/org/overturetool/vdm2c/root/0.2.1-SNAPSHOT/root-0.2.1-SNAPSHOT.pom
[main] INFO org.jfrog.build.extractor.maven.BuildInfoClientBuilder - Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c/org/overturetool/vdm2c/c/0.2.1-SNAPSHOT/c-0.2.1-SNAPSHOT.pom
[main] INFO org.jfrog.build.extractor.maven.BuildInfoClientBuilder - Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c/org/overturetool/vdm2c/c/vdmclib/0.2.1-SNAPSHOT/vdmclib-0.2.1-SNAPSHOT.jar
[main] INFO org.jfrog.build.extractor.maven.BuildInfoClientBuilder - Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c/org/overturetool/vdm2c/c/vdmclib/0.2.1-SNAPSHOT/vdmclib-0.2.1-SNAPSHOT.pom
[main] INFO org.jfrog.build.extractor.maven.BuildInfoClientBuilder - Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c/org/overturetool/vdm2c/c/vdmclibdist/0.2.1-SNAPSHOT/vdmclibdist-0.2.1-SNAPSHOT.jar
[main] INFO org.jfrog.build.extractor.maven.BuildInfoClientBuilder - Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c/org/overturetool/vdm2c/c/vdmclibdist/0.2.1-SNAPSHOT/vdmclibdist-0.2.1-SNAPSHOT.pom
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - ------------------------------------------------------------------------
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - Reactor Summary:
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - 
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - Overture VDM 2 C Translator Root .................. SUCCESS [1.091s]
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - C native root vdm2c ............................... SUCCESS [1.189s]
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - The C Code Generator VDM library sources .......... SUCCESS [1.990s]
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - The C Code Generator VDM distribution library sources  SUCCESS [1.067s]
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - Core Tools for vdm2c .............................. SUCCESS [0.368s]
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - The C Code Generator .............................. SUCCESS [4:23.816s]
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - ------------------------------------------------------------------------
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - BUILD SUCCESS
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - ------------------------------------------------------------------------
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - Total time: 4:32.341s
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - Finished at: Thu Nov 22 12:38:05 CET 2018
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - Final Memory: 37M/416M
[main] INFO org.apache.maven.cli.event.ExecutionEventLogger - ------------------------------------------------------------------------