Started 2 yr 8 mo ago
Took 31 min

Success Build #53 (Mar 8, 2018 8:29:03 AM)

Build Artifacts
Changes
  1. Fix Delegate to work with overloads, fixes #666 (details / githubweb)
  2. Support IO.fwriteval in the Java code-generation runtime (details / githubweb)
  3. Fix Delegate to work with overloads, fixes #666 (details / githubweb)
  4. Update Overture examples (details / githubweb)
  5. updated delegate to enable context and search org.overture.lib if not (details / githubweb)
  6. Correct typecheck of tail for seq1, fixes #669 (details / githubweb)
  7. Keep more builds (details / githubweb)
  8. reported old error message for delegate methods again (details / githubweb)
  9. Line ending issue (details / githubweb)

Push event to branch test at 08:28:57 on 08-Mar-2018

Revision: 1a71f319f70f2dfae6cc53b7b4e005cdefdc20f9
  • 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,407 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,482 workspace files.
      Task Scanner: 420 open tasks in 1,689 workspace files.