...
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.
...
...
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.
...