Skip to content

Add Test with Typestates

326a306
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Preserve State in State Refinements without Postcondition #191

Add Test with Typestates
326a306
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
Maven test on Java 20
succeeded Mar 24, 2026 in 1m 9s