Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Update test for async model. (details)
Commit 334f567223b168d853c9eb2fb8c60c85e4d7ca6a by Alberto Debiasi
Update test for async model.

Change-Id: I813ee644233090e510c658fe81075b735e4f76e0
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/AsyncProject/OCRAFiles/SystemWithWatchdog_Hybrid.oss
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/resources/AsyncProject/AsyncProject.uml