Started 3 yr 10 mo ago
Took 14 min

Success Build #10 (Mar 23, 2018 1:27:39 PM)

Build Artifacts
Changes
  1. Add Overture 2.6.0 release notes (details / githubweb)
  2. Preparing the release of Overture 2.6.0 (details / githubweb)
  3. [maven-release-plugin] prepare release Release/2.6.0 (details / githubweb)
  4. [maven-release-plugin] prepare for next development iteration (details / githubweb)
  5. Fix scoping issue in the code-generation platform (details / githubweb)
  6. Update Java code-generator test results (details / githubweb)
  7. Sort classes alphabetically in launch configuration view #665 (details / githubweb)
  8. Fix Delegate to work with overloads, fixes #666 (details / githubweb)
  9. Support IO.fwriteval in the Java code-generation runtime (details / githubweb)
  10. Fix Delegate to work with overloads, fixes #666 (details / githubweb)
  11. Update Overture examples (details / githubweb)
  12. updated delegate to enable context and search org.overture.lib if not (details / githubweb)
  13. Correct typecheck of tail for seq1, fixes #669 (details / githubweb)
  14. Keep more builds (details / githubweb)
  15. reported old error message for delegate methods again (details / githubweb)
  16. Line ending issue (details / githubweb)
  17. Support Java code-generation of setUp and tearDown (details / githubweb)
  18. Add "-version" argument to the Overture command-line interface (details / githubweb)
  19. Update Overture examples (details / githubweb)
  20. Support IO.fwriteval in the Java code-generation runtime (details / githubweb)
  21. Correct check for no measure, fixes #675 (details / githubweb)
  22. Improve look up of VDM-SL types #677 (details / githubweb)
  23. Support Java code-generation of VDMUtil`set2seq (details / githubweb)
  24. Update JUnit4Trans to handle SL Assert and TestRunner (details / githubweb)
  25. Remove wrong warning (details / githubweb)

Push event to branch kel/vdmsl-test-lib at 13:27:32 on 23-Mar-2018

Revision: 3f58d3f59a39f9219c2f1529e7030b3d3d0ee4bb
  • kel/vdmsl-test-lib
Task Scanner: 421 open tasks in 1,689 workspace files.
    Task Scanner: 222 open tasks in 994 workspace files.
    Test Result (no failures)
      Jacoco - Overall Coverage Summary
      INSTRUCTION56%
      BRANCH44%
      COMPLEXITY44%
      LINE54%
      METHOD55%
      CLASS79%
      Task Scanner: 468 open tasks in 3,408 workspace files.
      Task Scanner: 222 open tasks in 994 workspace files.
      Jacoco - Overall Coverage Summary
      INSTRUCTION56%
      BRANCH44%
      COMPLEXITY44%
      LINE54%
      METHOD55%
      CLASS79%
      Task Scanner: 469 open tasks in 3,483 workspace files.
      Task Scanner: 421 open tasks in 1,689 workspace files.