Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Update timedModel oracles. (details)
Commit 0b3f73a71bf4818addc488189a3d0a6d86213892 by Alberto Debiasi
Update timedModel oracles.

Change-Id: I3d6d264e483968f3dbb91f5a0b70ca709502aab8
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/Controller_StateMachine1.smv
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/TimedModel/SmvFiles/Train_StateMachine1.smv