Skip to content
Started 1 yr 11 mo ago
Took 44 sec on centos-7-8zh78
Success

org.polarsys.chess.contracts.verificationService.test.runtime (Jul 1, 2022, 4:34:45 AM)

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