Some error checking improved in Froglet. If you use Froglet and a formerly-working model now produces an error, it's likely you're using an operator that should be allowed only in full Forge. E.g., using . as more than just field access. If unclear, talk to us!
Failed tests will now print the counterexample instance or unsat result in full, provided that the verbosity is > 0.
Fixed an issue for Windows users that could cause a lockup. The fix doesn't solve the full problem, but many states + quantifiers should no longer predictably cause Forge to block.
.as more than just field access. If unclear, talk to us!