Skip to content
Success

Changes

Summary

  1. Handle isAsyncComponent(). (details)
  2. Update test for async model. (details)
Commit 39f74351f5027f30149e8040a60e4ce51fe5044e by Alberto Debiasi
Handle isAsyncComponent().

Change-Id: I26a8e73e68633237ecb435b103dfc06fa7253bd1
The file was modified plugins/org.polarsys.chess.service/src/org/polarsys/chess/service/core/model/ChessSystemModel.java
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/AsyncProject.uml
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/AsyncProject/OCRAFiles/SystemWithWatchdog_Discrete.oss