Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Handle context in nuxmv/xsap operations. (details)
  2. Update oracles. (details)
  3. Fix FMEAXSapHandler call. (details)
  4. Update regression tests. (details)
Commit 9f62c03329bf89d0f36731b4d01fcb2f06023cd0 by Alberto Debiasi
Handle context in nuxmv/xsap operations.
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/debug/ModelCheckingOnFileCommand.java
The file was modified plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/commands/FTAXSapHandler.java
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/ModelCheckingCommand.java
Commit 424278bf8f0dfc0a9c5e00cfb12ac8a7ea037cfb by Alberto Debiasi
Update oracles.
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/VandVResults/ValidationProperty/result_validation_property.xml
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/SSR_fi/VandVResults/FTA/ft.xml
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/SSR_fi/SmvFiles/Selector_selector_SM.smv
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/SSR_fi/VandVResults/FMEA/ft.xml
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/ParamArch/VandVResults/ContractRefinement/result_contract_refinement.xml
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/TimedModel/SmvFiles/Controller_StateMachine1.smv
Commit 4e4fd6fe2ec843c4ee13d4df1779e224a242c52a by Alberto Debiasi
Fix FMEAXSapHandler call.
The file was modified plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/commands/FMEAXSapHandler.java
Commit 77d566cf000c96ca474b723268217addf5401f60 by Alberto Debiasi
Update regression tests.
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestSafetyAnalysisOperations.java
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestVAndVOperations.java