From 5ef56395f02c74534efca6f07e1da4f4b72ceb8f Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Thu, 19 Apr 2018 11:39:55 +0200 Subject: [PATCH] test/timeout: raise polling round time On the Raspberry PI, the 2 seconds of round time in the polling test were not sufficient to reach the goal of at least 1000 successful polls. Thus, the commit sets the round time to 2.5 seconds which doesn't hurt to much but allows the RPI to just make it. Fixes #2779 --- repos/os/src/test/timeout/main.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/os/src/test/timeout/main.cc b/repos/os/src/test/timeout/main.cc index d3b5cfb1f..f1730657f 100644 --- a/repos/os/src/test/timeout/main.cc +++ b/repos/os/src/test/timeout/main.cc @@ -439,7 +439,7 @@ struct Fast_polling : Test static constexpr char const *brief = "poll time pretty fast"; enum { NR_OF_ROUNDS = 4 }; - enum { MIN_ROUND_DURATION_MS = 2000 }; + enum { MIN_ROUND_DURATION_MS = 2500 }; enum { MAX_NR_OF_POLLS = 10000000 }; enum { MIN_NR_OF_POLLS = 1000 }; enum { STACK_SIZE = 4 * 1024 * sizeof(addr_t) };