allow beta-tasks to run longer than their wcet.

1 files changed, 0 insertions, 2 deletions

diff --git a/bin/rtspin.beta.c b/bin/rtspin.beta.c
index 852b421..f7f9e0e 100644
--- a/bin/rtspin.beta.c
+++ b/bin/rtspin.beta.c
@@ -257,8 +257,6 @@ int main(int argc, char** argv)
         do {
                 beta_sample = gsl_ran_beta(beta_rng, alpha, beta);
                 exec_time = wcet * beta_sample * scale;
-                if (exec_time > wcet)
-                        exec_time = wcet;
                 /* convert to seconds */
                 exec_time = exec_time * 0.000000001;
         } while(job(exec_time, start + duration));