Started 1 mo 28 days ago
Took 45 sec on master

Unstable Build #241 (May 15, 2020 10:01:07 PM)

Changes
  1. Do not report mutual recursion via pre/post expressions, fixes #719 (commit: 009b8d6) (details)
  2. Correct check for cyclic recursion, fixes #720 (commit: 4db56b7) (details)
  3. Update test results for recursive cycle check (commit: 1170f28) (details)
Changes in dependency
  1. The Overture Abstract Syntax Tree Success#240Success#241 (detail)
  2. Test Framework for Overture Success#240Success#241 (detail)
  3. The VDM parser Success#240Success#241 (detail)
Task Scanner: 62 open tasks in 150 workspace files.
    Test Result (4 failures / ±0)Show all failed tests >>>