From b084d236bb49863975667bfa2faadf0154d823b6 Mon Sep 17 00:00:00 2001 From: ztong Date: Fri, 26 Feb 2021 13:12:59 -0500 Subject: Modified default panic zone length --- bin/rtspin.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/rtspin.c b/bin/rtspin.c index 74d97e2..8006840 100644 --- a/bin/rtspin.c +++ b/bin/rtspin.c @@ -321,7 +321,7 @@ static void job(double exec_time, double program_end, int lock_od, double cs_len if (lock_res != 0) printf("Result of lock call: %d\n", lock_res); if (check_fz) - litmus_access_forbidden_zone_check(lock_od, s2ns(cs_length), 0.9 * s2ns(cs_length)); + litmus_access_forbidden_zone_check(lock_od, s2ns(cs_length), s2ns(cs_length)); loop_for(cs_length, program_end + 1); litmus_unlock(lock_od); -- cgit v1.2.2