Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Add sm2py test. (details)
Commit a893632e9dfc16f6eb91a874d4c9f11ddd81fd7d by Alberto Debiasi
Add sm2py test.
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestBasicOperationsHeadless.java
The file was addedplugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/SSR_fi/PythonFiles/Selector.py
The file was addedplugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/SSR_fi/PythonFiles/SpeedSensor.py
The file was addedplugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/SSR_fi/PythonFiles/MonitorPresence.py