diff --git a/src/testsuite/scheduling-wizards/environments/Matteo_preemption_fail.xgp b/src/testsuite/scheduling-wizards/environments/Matteo_preemption_fail.xgp new file mode 100644 index 0000000..5b55d4c --- /dev/null +++ b/src/testsuite/scheduling-wizards/environments/Matteo_preemption_fail.xgp @@ -0,0 +1,20 @@ + + + + + + + + + + + + + + + + + + + + diff --git a/src/testsuite/scheduling-wizards/wizard-priority-preemption-fail b/src/testsuite/scheduling-wizards/wizard-priority-preemption-fail new file mode 100644 index 0000000..d6d419d --- /dev/null +++ b/src/testsuite/scheduling-wizards/wizard-priority-preemption-fail @@ -0,0 +1,5 @@ +set cpu-policy 4 + +load environments/Matteo_preemption_fail.xgp + +run