Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Update oracle of async model. (details)
Commit 384a0c6ce9469a82a359aa6381474fd2f3a12e0a by Alberto Debiasi
Update oracle of async model.

Change-Id: I563a2a821f4be56620feb25d81ee7a61ce28d892
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/AsyncProject/OCRAFiles/SystemWithWatchdog_Discrete.oss