search

parapluu / Concuerror

Concuerror is a stateless model checking tool for Erlang programs.
http://parapluu.github.io/Concuerror
BSD 2-Clause "Simplified" License
333 stars 41 forks source link

Only consider "fair" schedules #8

Closed aronisstav closed 6 years ago

aronisstav commented 6 years ago

Migrated to aronisstav/Concuerror#16.