Started 3 yr 7 mo ago
Took 20 min

Success Build #76 (Nov 13, 2017 3:26:46 PM)

Build Artifacts
Expand all Collapse all
Changes
  1. Temporarily build against Overture 2.5.3-SNAPSHOT (details / githubweb)
  2. Update VDM2C to work with newest Overture (details / githubweb)
  3. Support map iteration #108 (details / githubweb)
  4. Support map composition #108 (details / githubweb)
  5. Support iota #108 (details / githubweb)
  6. Support non-deterministic statements #108 (details / githubweb)
  7. Support isofbaseclass #108 (details / githubweb)
  8. Support isofclass operator #108 (details / githubweb)
  9. Support samebaseclass operator #108 (details / githubweb)
  10. Support sameclass operator #108 (details / githubweb)
  11. -  Typo in type encoding in test. -  Addresses #108. (details / githubweb)
  12. Work on checking union types in is_ expressions #108 (details / githubweb)
  13. Emit type encoding for is_* checks #108 (details / githubweb)
  14. Fix two issues in IsExpUnionTypeFinder #108 (details / githubweb)
  15. Support union types in is_* expressions #108 (details / githubweb)
  16. Fix memory leak in field initializers (details / githubweb)
  17. Fix index issue in "for all" loops (details / githubweb)
  18. -  Fixed bugs in runtime library OO support. -  isofclass is both (details / githubweb)
  19. -  Fixed bug with exclusion of class inheritance header file. - (details / githubweb)
  20. -  Minor refinement to exclusion mechanism. -  Addresses #108. (details / githubweb)
  21. Use Overture 2.5.4 (details / githubweb)
  22. Fix clean up in OOChecks test (details / githubweb)
  23. -  Fixed bug with NO_IS exclusion mechanism for isOfClass. -  Addresses (details / githubweb)
  24. -  Fixed bug with sameclass query under NO_INHERITANCE in header file. - (details / githubweb)

Push event to branch pvj/development at 15:26:40 on 13-Nov-2017

Revision: 7b124de192603edfdcea658b246ec1d0020cc04b
  • pvj/development
Task Scanner: 29 open tasks in 119 workspace files.
    Task Scanner: 27 open tasks in 108 workspace files.
    Test Result (no failures)
      Jacoco - Overall Coverage Summary
      INSTRUCTION66%
      BRANCH45%
      COMPLEXITY40%
      LINE63%
      METHOD58%
      CLASS88%
      Task Scanner: 29 open tasks in 179 workspace files.
        Task Scanner: 29 open tasks in 119 workspace files.