Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Update OSS oracle. (details)
Commit cb66a06de7428d5bb12979593caaff36e2c7a2ce by Alberto Debiasi
Update OSS oracle.

Change-Id: I751400fd7d624216264303cda813cda4e23a332f
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/SSR_fi/NuSMV3-OCRA/Files/System.oss