changes.mady.by.user Axel Bonet
Saved on Sept 16, 2016
...
There is no automatic checking for deadlocks, which can be difficult to detect. However, if your suite is known to complete (i.e. it it does not run forever), then simulation can be used to check for deadlocks.