Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Add test for async discrete case. (details)
Commit fe18e533cf0cbe2799e0e91334bc2d951cd4bb3d by Alberto Debiasi
Add test for async discrete case.

Change-Id: I28600fd3e93fc895ec88c144804c5e037546f740
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/AsyncProject/OCRAFiles/SystemWithWatchdog_Discrete.oss
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestBasicOperationsHeadless.java