Started 4 mo 11 days ago
Took 24 min on master

Success Build #165 (Oct 17, 2019 12:04:11 PM)

Changes
  1. Add Overture 2.7.2 release notes (commit: 270685f) (details / githubweb)
  2. Prepare release of version 2.7.2 (commit: 2cd1398) (details / githubweb)
  3. [maven-release-plugin] prepare release Release/2.7.2 (commit: 9a86d2e) (details / githubweb)
  4. [maven-release-plugin] prepare for next development iteration (commit: 2412c37) (details / githubweb)
  5. Fix bug with import type mismatch with export (commit: 03c6582) (details / githubweb)
  6. Corrected retrieval of nat values to allow 0 (commit: ab0e2dc) (details / githubweb)
  7. Suppress details as well as messages in VDMError when suspended (commit: b652fba) (details / githubweb)
  8. Fix min_/max_ functions, fixes #706 (commit: c354db8) (details / githubweb)
Artifactory Build Info

Started by GitHub push by peterwvj

Revision: c354db831f18c5e7368563bba4e85866232b541f
  • refs/remotes/origin/pvj/main
Test Result (no failures)

    Module Builds

    Success Core Tools1.3 sec
    Success Documentation0.47 sec
    Success Overture External Resources5.8 sec
    Success The Overture Tool Platform root3.3 sec
    Success VDM Annotations0.57 sec
    Success The Overture Abstract Syntax Tree37 sec
    Success Code Generation0.51 sec
    Success Combinatorial Testing0.55 sec
    Success Overture Core Command Line Tool6 sec
    Success The VDM Interpreter35 sec
    Success POG - Isagen Integration5.1 sec
    Success New Pretty Printer3.5 sec
    Success The VDM parser14 sec
    Success The Proof Obligation Generator14 sec
    Success VDM Pretty Printing0.49 sec
    Success Test Framework for Overture1.4 sec
    Success Overture Testing0.52 sec
    Success The VDM Type Checker39 sec
    Success Annotation Examples4.2 sec
    Success Provided Annotations1.2 sec
    Success The Java Code Generator Maven Plugin10 sec
    Success The Java Code Generator Runtime6.1 sec
    Success The Intermediate Representation Tree17 sec
    Success The VDM to Isabelle Translator9.6 sec
    Success The Java Code Generator17 min
    Success The Java Code Generator Testing1.5 sec
    Success The Code Generation Platform8.4 sec
    Success The VDM to JML Generator20 sec
    Success The VDM to JML Generator Runtime1.3 sec
    Success Combinatorial Testing Runtime32 sec
    Success Combinatorial Testing Utilities1.2 sec
    Success The VDM Pretty Printer1.8 sec
    Success Overture Testing Framework1.3 sec
    Success Overture Sample Tests29 sec
    Success The Overture release notes1.1 sec