Skip to content
Started 2 yr 4 mo ago
Took 31 sec on centos-7-lxl1h
Success

org.polarsys.chess.contracts.verificationService.test.runtime (Jan 24, 2022, 4:24:39 AM)

Changes
  1. Update timedModel oracles. (details)
Changes in dependency
  1. org.polarsys.chess.smvExporter Success #37Success #38 (detail)
  2. org.eclipse.papyrus.junit.utils Success #37Success #38 (detail)
  3. org.polarsys.chess.validator Success #37Success #38 (detail)
  4. org.polarsys.chess.diagram.ui Success #37Success #38 (detail)
  5. org.polarsys.chess.chessmlprofile Success #37Success #38 (detail)
  6. org.polarsys.chess.contracts.profile Success #37Success #38 (detail)
  7. org.polarsys.chess.service Success #37Success #38 (detail)
  8. org.polarsys.chess.core Success #37Success #38 (detail)
  9. org.eclipse.papyrus.junit.framework Success #37Success #38 (detail)
  10. org.polarsys.chess.contracts.validation Success #37Success #38 (detail)
  11. org.polarsys.chess.contracts.verificationService Success #37Success #38 (detail)
  12. org.polarsys.chess.contracts.integration Success #37Success #38 (detail)
  13. org.polarsys.chess.contracts.transformations Success #37Success #38 (detail)
  14. org.polarsys.chess.OSSImporter Success #37Success #38 (detail)
  15. org.polarsys.chess.diagramsCreator Success #37Success #38 (detail)
Test Result (no failures)