test case: reject infeasible densities2012.2archive/unc-master-3.0

Add a test that makes sure that the kernel does indeed not accept
infeasible densities.

1 files changed, 6 insertions, 1 deletions

diff --git a/tests/core_api.c b/tests/core_api.c
index c5bbb5a..ca41ee4 100644
--- a/tests/core_api.c
+++ b/tests/core_api.c
@@ -35,8 +35,13 @@ TESTCASE(set_rt_task_param_invalid_params, ALL,
         params.cpu       = -1;
         SYSCALL_FAILS( EINVAL, set_rt_task_param(gettid(), &params) );
 
-        /* bad task */
+        /* infeasible density */
         params.cpu  = 0;
+        params.relative_deadline = 30;
+        SYSCALL_FAILS( EINVAL, set_rt_task_param(gettid(), &params) );
+
+        /* bad task */
+        params.relative_deadline = params.period;
         SYSCALL_FAILS( EINVAL, set_rt_task_param(-1, &params) );