Skip to content

v5.0.1

Choose a tag to compare

View all tags
@tnelson tnelson released this 05 Feb 14:21
· 4 commits to main since this release
v5.0.1
9f60ebe
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

This version contains the following changes:

  • Improvements to Spytial Sterling (2.3.0). This includes a case to catch when the instance stream is exhausted. The change was necessary because Forge reports instance exhaustion differently than unsatisfiability.
  • Naming a predicate or helper-function variable the same as a sig, field, or another predicate or helper function will produce a warning. This will not terminate the run, in order to avoid making this a breaking change.
  • Fix to an issue with the test_keep last option, which causes Forge to run through all tests rather than stopping at the first failure. It would incorrectly handle a failing is forge_error test, resulting in a Pardinus crash on a 2nd failure. Since is forge_error tests are primarily used in our internal test suite to confirm error messages, this is unlikely to impact users.
Assets 2
Loading