[INFO] [INFO] --< org.polarsys.chess:org.polarsys.chess.contracts.verificationService.test.runtime >-- [INFO] Building org.polarsys.chess.contracts.verificationService.test.runtime 1.0.0-SNAPSHOT [23/72] [INFO] ------------------------[ eclipse-test-plugin ]------------------------- [INFO] [INFO] --- tycho-packaging-plugin:1.0.0:build-qualifier (default-build-qualifier) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [INFO] The project's OSGi version is 1.0.0.202006110729 [INFO] [INFO] --- tycho-packaging-plugin:1.0.0:validate-id (default-validate-id) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [INFO] [INFO] --- tycho-packaging-plugin:1.0.0:validate-version (default-validate-version) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [INFO] [INFO] --- xtend-maven-plugin:2.12.0:compile (default) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [INFO] [INFO] --- maven-resources-plugin:2.4.3:resources (default-resources) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /home/jenkins/agent/workspace/CHESS-master MAN build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/main/resources [INFO] [INFO] --- tycho-compiler-plugin:1.0.0:compile (default-compile) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [INFO] Compiling 14 source files to /home/jenkins/agent/workspace/CHESS-master MAN build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/classes [INFO] [INFO] --- xtend-maven-plugin:2.12.0:xtend-install-debug-info (default) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [WARNING] Directory /home/jenkins/agent/workspace/CHESS-master MAN build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/main/java is empty. Can't process. [WARNING] Directory /home/jenkins/agent/workspace/CHESS-master MAN build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/xtend-gen is empty. Can't process. [INFO] Installing Xtend files into 0 class files as secondary (via SMAP) debug sources in: /home/jenkins/agent/workspace/CHESS-master MAN build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/classes [INFO] [INFO] --- xtend-maven-plugin:2.12.0:testCompile (default) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [INFO] skip compiling sources because the configured directory '[/home/jenkins/agent/workspace/CHESS-master MAN build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/test/java]' does not exists. [INFO] [INFO] --- maven-resources-plugin:2.4.3:testResources (default-testResources) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /home/jenkins/agent/workspace/CHESS-master MAN build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/test/resources [INFO] [INFO] --- xtend-maven-plugin:2.12.0:xtend-test-install-debug-info (default) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [WARNING] Directory /home/jenkins/agent/workspace/CHESS-master MAN build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/test/java is empty. Can't process. [WARNING] Directory /home/jenkins/agent/workspace/CHESS-master MAN build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/xtend-gen is empty. Can't process. [INFO] Installing Xtend files into 0 class files as secondary (via SMAP) debug sources in: /home/jenkins/agent/workspace/CHESS-master MAN build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/test-classes [INFO] [INFO] --- target-platform-configuration:1.0.0:target-platform (default-target-platform) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [INFO] [INFO] --- tycho-packaging-plugin:1.0.0:package-plugin (default-package-plugin) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [INFO] Building jar: /home/jenkins/agent/workspace/CHESS-master MAN build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT.jar [INFO] [INFO] --- tycho-p2-plugin:1.0.0:p2-metadata-default (default-p2-metadata-default) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [INFO] [INFO] --- tycho-surefire-plugin:1.0.0:test (default-test) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [INFO] Expected eclipse log file: /home/jenkins/agent/workspace/CHESS-master MAN build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/work/data/.metadata/.log [INFO] Command line: [/opt/tools/java/oracle/jdk-8/1.8.0_202/jre/bin/java, -Dosgi.noShutdown=false, -Dosgi.os=linux, -Dosgi.ws=gtk, -Dosgi.arch=x86_64, -Dosgi.clean=true, -jar, /home/jenkins/.m2/repository/p2/osgi/bundle/org.eclipse.equinox.launcher/1.3.201.v20161025-1711/org.eclipse.equinox.launcher-1.3.201.v20161025-1711.jar, -data, /home/jenkins/agent/workspace/CHESS-master MAN build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/work/data, -install, /home/jenkins/agent/workspace/CHESS-master MAN build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/work, -configuration, /home/jenkins/agent/workspace/CHESS-master MAN build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/work/configuration, -application, org.eclipse.tycho.surefire.osgibooter.headlesstest, -testproperties, /home/jenkins/agent/workspace/CHESS-master MAN build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/surefire.properties] Picked up JAVA_TOOL_OPTIONS: -XX:+IgnoreUnrecognizedVMOptions -XX:+UseContainerSupport -XX:+UnlockExperimentalVMOptions -XX:+UseCGroupMemoryLimitForHeap Picked up _JAVA_OPTIONS: -XX:MaxRAMPercentage=64.0 ------------------------------------------------------- T E S T S ------------------------------------------------------- Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC Tests run: 7, Failures: 0, Errors: 0, Skipped: 7, Time elapsed: 0.251 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC testModelChecking(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped testModelCheckingOnSystemComponent(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped testCheckContractRefinement(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped testCheckCompositeContractImplementation(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped testCheckContractRefinementOnInstantiateArch(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped testCheckValidationOnProperties(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped testCheckContractImplementation(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVandVOperationsOSLC) skipped Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestCheckContractRefinementOfCHESSComponent Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.005 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestCheckContractRefinementOfCHESSComponent testCheckContractRefinementOfCHESSComponent(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestCheckContractRefinementOfCHESSComponent) skipped Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyRecursively Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.001 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyRecursively testApplyRecursively(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyRecursively) skipped Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperations Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.002 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperations testExportStateMachinesAsMonolithicSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperations) skipped testInstantiateParameterizedAchitecture(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperations) skipped testGenerationDocumentation(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperations) skipped Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.002 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless testImportModelFromOssFile(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) skipped testExportModelAsOss(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) skipped testExportStateMachinesAsSmv(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless) skipped Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestModelChecking Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.003 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestModelChecking testModelChecking(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestModelChecking) skipped Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyCHESSStereotype Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyCHESSStereotype testApplyCHESSStereotype(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestApplyCHESSStereotype) skipped Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestSafetyAnalysisOperations Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.001 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestSafetyAnalysisOperations testFTA(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestSafetyAnalysisOperations) skipped testFMEA(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestSafetyAnalysisOperations) skipped testContractBasedFTA(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestSafetyAnalysisOperations) skipped Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestCreateViews Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.001 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestCreateViews testcreateViews(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestCreateViews) skipped Running org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations Tests run: 7, Failures: 0, Errors: 0, Skipped: 7, Time elapsed: 0.019 sec - in org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations testModelChecking(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped testModelCheckingOnSystemComponent(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped testCheckContractRefinement(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped testCheckCompositeContractImplementation(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped testCheckContractRefinementOnInstantiateArch(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped testCheckValidationOnProperties(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped testCheckContractImplementation(org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestVAndVOperations) skipped Results : Tests run: 28, Failures: 0, Errors: 0, Skipped: 28 [INFO] All tests passed! [JENKINS] Recording test results [INFO] [INFO] --- maven-install-plugin:2.3.1:install (default-install) @ org.polarsys.chess.contracts.verificationService.test.runtime --- [INFO] Installing /home/jenkins/agent/workspace/CHESS-master MAN build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT.jar to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT.jar [INFO] Installing /home/jenkins/agent/workspace/CHESS-master MAN build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/pom.xml to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT.pom [INFO] Installing /home/jenkins/agent/workspace/CHESS-master MAN build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/p2content.xml to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT-p2metadata.xml [INFO] Installing /home/jenkins/agent/workspace/CHESS-master MAN build-bundle-release/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/target/p2artifacts.xml to /home/jenkins/.m2/repository/org/polarsys/chess/org.polarsys.chess.contracts.verificationService.test.runtime/1.0.0-SNAPSHOT/org.polarsys.chess.contracts.verificationService.test.runtime-1.0.0-SNAPSHOT-p2artifacts.xml [INFO] [INFO] --- tycho-p2-plugin:1.0.0:update-local-index (default-update-local-index) @ org.polarsys.chess.contracts.verificationService.test.runtime ---