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