diff --git a/src/testsuite/scheduling-wizards/environments/MyAutoDeadlock.xgp b/src/testsuite/scheduling-wizards/environments/MyAutoDeadlock.xgp new file mode 100644 index 0000000..ff2c1c2 --- /dev/null +++ b/src/testsuite/scheduling-wizards/environments/MyAutoDeadlock.xgp @@ -0,0 +1,30 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +