Open JonnyWalker opened 10 years ago
Remember the names (and maybe argument values) of executed operations. This is usefull in deadlock states
Remember the names (and maybe argument values) of executed operations. This is usefull in deadlock states