Started 3 yr 7 mo ago
Took 21 min

Success Build #64 (Nov 17, 2017 4:24:41 PM)

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

Push event to branch vpb/development at 16:24:35 on 17-Nov-2017

Revision: 7b124de192603edfdcea658b246ec1d0020cc04b
  • vpb/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.