Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. 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.verificationService.test.runtime/resources/TimedModel/SmvFiles/Controller_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/SpeedSensor_SpeedSensorSM.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/Gate_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.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