Loading...

XML

Word

Printable

JSON

Type: Improvement
Resolution: Done
Priority: Minor - P4
Fix Version/s: 3.0.1, 3.1.0
Affects Version/s: None
Component/s: Concurrency, Querying, Testing Infrastructure
Labels:
None

Backwards Compatibility:
Fully Compatible
Backport Completed:

3.0.1
Sprint:
Quint 3.1.0
Confidence Status:
None
Work Order:
3

Aha! Reference:
None
Tracking Level:
None
Risk Status:
None
Exec Notes:
None
Goal Name:
None
Goal Link:
None

Add tests to the concurrency suite to increase coverage of yielding functionality.

Assignee:: Charlie Swanson
Reporter:: Charlie Swanson
Participants:: Charlie Swanson, Githook User
Votes:: 0 Vote for this issue
Watchers:: 4 Start watching this issue

Created:: Feb 26 2015 07:53:28 PM UTC
Updated:: Sep 19 2015 12:16:37 AM UTC
Resolved:: Feb 26 2015 07:58:28 PM UTC