Joeri Exelmans
e1826ed316
Made it possible to disable hierarchical priority. Added more priority tests, including tests that fail because of detected nondeterminism.
|
5 роки тому | |
|---|---|---|
| .. | ||
| big_step_maximality | 5 роки тому | |
| event_lifeline | 5 роки тому | |
| memory_protocol | 5 роки тому | |
| priority | 5 роки тому | |