#37 (Jan 24, 2022, 4:02:39 AM)

	Changes Extend support to timed domain (details) remove extra comments (details) Upload New File (details) Fix getStateInvariant() method. (details) Add test for timed domain. (details)
	Started by user Alberto Debiasi
	This run spent: 11 sec waiting; 10 min build duration; 10 min total from scheduled to completion.
	Revision: b19099b00f91e7ac310161e7e18d75ab8152ae4e Repository: git@gitlab.eclipse.org:eclipse/chess/chess.git origin/120-add-timed-time-model-option origin/devel
	Test Result (6 failures / +6) org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless.testExportTimedStateMachinesAsSmv org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless.testExportTimedStateMachinesAsSmv org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless.testExportTimedStateMachinesAsSmv org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless.testExportTimedStateMachinesAsSmv org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless.testExportTimedStateMachinesAsSmv org.polarsys.chess.contracts.verificationService.test.runtime.tests.TestBasicOperationsHeadless.testExportTimedStateMachinesAsSmv

Module Builds

org.eclipse.papyrus.uml.profile.tests	1.1 sec
org.eclipse.papyrus.junit.framework	1 sec
org.eclipse.papyrus.junit.utils	1.9 sec
org.polarsys.chess.OSSImporter	2 sec
org.polarsys.chess.bundles	0.19 sec
org.polarsys.chess.cdo	1.6 sec
org.polarsys.chess.checkers	1.4 sec
org.polarsys.chess.chessmlprofile	7.1 sec
org.polarsys.chess.cleanCExporter	1.4 sec
org.polarsys.chess.codegen.ada	1.5 sec
org.polarsys.chess.commands	1.5 sec
org.polarsys.chess.configuration	23 sec
org.polarsys.chess.constraints.constraintEditor	1.4 sec
org.polarsys.chess.contracts.chessextension	1.4 sec
org.polarsys.chess.contracts.contractEditor	1.6 sec
org.polarsys.chess.contracts.contractPropertyManager	1.4 sec
org.polarsys.chess.contracts.hierarchicalContractView	1.4 sec
org.polarsys.chess.contracts.integration	0.71 sec
org.polarsys.chess.contracts.profile	1.9 sec
org.polarsys.chess.contracts.refinementView	1.4 sec
org.polarsys.chess.contracts.safetyAnalysis	1.6 sec
org.polarsys.chess.contracts.transformations	3.7 sec
org.polarsys.chess.contracts.validation	1.3 sec
org.polarsys.chess.contracts.verificationService	1.7 sec
org.polarsys.chess.contracts.verificationService.test.runtime	37 sec
org.polarsys.chess.core	2.1 sec
org.polarsys.chess.customEditors	1.5 sec
org.polarsys.chess.diagram.ui	1.7 sec
org.polarsys.chess.diagramsCreator	1.8 sec
org.polarsys.chess.discovery	0.78 sec
org.polarsys.chess.feature	1.6 sec
org.polarsys.chess.features	0.19 sec
org.polarsys.chess.fla	1.8 sec
org.polarsys.chess.fla.FPTC2FLABehavior	0.52 sec
org.polarsys.chess.fla.faultTreeGenerator	1.4 sec
org.polarsys.chess.fla.flamm	0.88 sec
org.polarsys.chess.fla.flaxml	0.79 sec
org.polarsys.chess.fla.transformations	1.7 sec
org.polarsys.chess.functionBehaviors.functionBehaviorEditor	1.1 sec
org.polarsys.chess.m2m	1.6 sec
org.polarsys.chess.mainmenu	0.78 sec
org.polarsys.chess.mobius	1.4 sec
org.polarsys.chess.mobius.model	0.87 sec
org.polarsys.chess.mobius.model.edit	0.73 sec
org.polarsys.chess.mobius.model.editor	0.87 sec
org.polarsys.chess.mobius.preferences	0.7 sec
org.polarsys.chess.monitoring	1.6 sec
org.polarsys.chess.monitoring.edit	1.2 sec
org.polarsys.chess.monitoring.editor	1.3 sec
org.polarsys.chess.monitoring.tests	1.3 sec
org.polarsys.chess.multicore	1.6 sec
org.polarsys.chess.paramArchConfigurator	1.6 sec
org.polarsys.chess.parent	0.21 sec
org.polarsys.chess.patterns	1.3 sec
org.polarsys.chess.patterns.library	0.64 sec
org.polarsys.chess.patterns.profile	0.59 sec
org.polarsys.chess.properties.propertyEditor	1.4 sec
org.polarsys.chess.releng	0.19 sec
org.polarsys.chess.repository	11 sec
org.polarsys.chess.repository.2021-03 (didn’t run)
org.polarsys.chess.service	1.7 sec
org.polarsys.chess.smvExporter	1.5 sec
org.polarsys.chess.statebased	1.5 sec
org.polarsys.chess.tabbedproperties	1.5 sec
org.polarsys.chess.test.runtime	4 sec
org.polarsys.chess.tradeoffAnalysis	1.7 sec
org.polarsys.chess.validator	1.8 sec
org.polarsys.chess.wizards	1.4 sec
org.polarsys.chess.xtext.fladsl	22 sec
org.polarsys.chess.xtext.fladsl.ide	2.3 sec
org.polarsys.chess.xtext.fladsl.ui	3.5 sec
org.polarsys.chess.xtext.global	0.56 sec
org.polarsys.chess.target.2021-03 (didn’t run)
org.polarsys.chess.target.neon	0.28 sec