Colin THOMAS / pyits_model_checker

Go to a project
Toggle navigation Toggle navigation pinning
Colin THOMAS
312ba000 1 parent dd1d378b

Replace pred by succ everywhere. Remove ACTL. Add ARCTL and FairARCTL.

Expand all
Inline Side-by-side
Showing 1 changed file with 0 additions and 0 deletions
This diff is collapsed. Click to expand it.