Started 6 mo 15 days ago
Took 20 sec on master

Unstable Build #167 (May 17, 2020 7:09:59 PM)

Build Artifacts
typechecker-2.7.5-SNAPSHOT.jar454.58 KB view
typechecker-2.7.5-SNAPSHOT.pom2.56 KB view
No changes. Changes in dependency
  1. Core Tools  ? → (detail)
  2. Test Framework for Overture Success#165Success#167 (detail)
  3. The Overture Abstract Syntax Tree Success#165Success#167 (detail)
  4. The VDM parser Success#165Success#167 (detail)
  5. The Overture Tool Platform root  ? → (detail)
  6. The VDM Type Checker  ? → (detail)
Test Result (4 failures / +4)Show all failed tests >>>