Started 1 mo 25 days ago
Took 47 sec on master

Success Build #275 (Oct 5, 2020 1:57:38 PM)

Changes
  1. Change warning number for let def impure operations (commit: f762e74) (details)
  2. Added warnings for threadid, time and new expressions in function ctxts (commit: b9ea923) (details)
  3. Added warning for function value comparisons, fixes #739 (commit: 90c955f) (details)
Changes in dependency
  1. The VDM parser Success#274Success#275 (detail)
  2. The Overture Abstract Syntax Tree Success#274Success#275 (detail)
  3. Test Framework for Overture Success#274Success#275 (detail)
Task Scanner: 61 open tasks in 150 workspace files.
    Test Result (no failures)