changes.mady.by.user Axel Bonet
Saved on Sept 14, 2016
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 (id est it i.e. it does not run forever), then simulation can be used to check for deadlocks.