Versions Compared

Old Version 9

changes.mady.by.user Axel Bonet

Saved on

compared with

New Version 10

changes.mady.by.user Axel Bonet

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

There is no automatic checking for deadlocks,
 which can be difficult to detect. However, if your suite is known to  complete (id esti.e. it does not run forever), then simulation can be used to check for deadlocks.

...