Skip to content
Jenkins
log in
Dashboard
merge-branch-x-to-devel
org.polarsys.chess.service
#44
Changes
Status
Changes
Console Output
View Build Information
Executed Mojos
See Fingerprints
Previous Build
Next Build
Success
Changes
Summary
Implement method on SMAbstractClass, update oracles. (
details
)
Commit cc891fc1a13a25d0423deec8032471df721483e7 by
Alberto Debiasi
Implement method on SMAbstractClass, update oracles.
The file was modified
plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/EntityUtil.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/SSR_fi/SmvFiles/MonitorPresence_monitorSM.smv
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/TimedModel/SmvFiles/Gate_StateMachine1.smv
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/TimedModel/SmvFiles/Train_StateMachine1.smv
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/SSR_fi/SmvFiles/Selector_selector_SM.smv
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/TimedModel/SmvFiles/Controller_StateMachine1.smv
The file was modified
plugins/org.polarsys.chess.service/src/org/polarsys/chess/service/core/model/UMLStateMachineModel.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/SSR_fi/SmvFiles/SpeedSensor_SpeedSensorSM.smv