-
Type: Improvement
-
Resolution: Done
-
Priority: Minor - P4
-
Affects Version/s: None
-
Component/s: Concurrency, Querying, Testing Infrastructure
-
None
-
Fully Compatible
-
Quint 3.1.0
Add tests to the concurrency suite to increase coverage of yielding functionality.