search

TeamAmalgam / kodkod

Kodkod relational model finder
Other
3 stars 0 forks source link

Remove unnecessary checkpointing/rollback pairs #54

Closed joseph39 closed 10 years ago

joseph39 commented 10 years ago

Remove unnecessary checkpointing/rollback pairs