Started 4 yr 0 mo ago
Took 25 min

Success Build #55 (Apr 30, 2018 12:27:19 PM)

Build Artifacts
Changes
  1. Support Java code-generation of setUp and tearDown (details / githubweb)
  2. Update Overture examples (details / githubweb)
  3. Support IO.fwriteval in the Java code-generation runtime (details / githubweb)
  4. Correct check for no measure, fixes #675 (details / githubweb)
  5. Instantiate lambda polymorphic parameters, fixes #678 (details / githubweb)
  6. Prevent measures for implicit functions, see #675 (details / githubweb)
  7. Support Java code-generation of VDMUtil`set2seq (details / githubweb)
  8. Tweak the way ExternalDefinitions look up state names (details / githubweb)
  9. Fix line ending issues in oveture.bat (details / githubweb)
  10. Update Overture examples (details / githubweb)

Push event to branch test at 12:27:12 on 30-Apr-2018

Revision: 10f2183117c9cc270135194fb4cd0f366f871e7c
  • test
Task Scanner: 420 open tasks in 1,689 workspace files.
    Task Scanner: 221 open tasks in 994 workspace files.
    Test Result (no failures)
      Jacoco - Overall Coverage Summary
      INSTRUCTION56%
      BRANCH44%
      COMPLEXITY44%
      LINE54%
      METHOD55%
      CLASS79%
      Task Scanner: 467 open tasks in 3,408 workspace files.
      Task Scanner: 221 open tasks in 994 workspace files.
      Jacoco - Overall Coverage Summary
      INSTRUCTION56%
      BRANCH44%
      COMPLEXITY44%
      LINE54%
      METHOD55%
      CLASS79%
      Task Scanner: 468 open tasks in 3,483 workspace files.
      Task Scanner: 420 open tasks in 1,689 workspace files.