ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 13:47:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

test/timeout: raise polling round time

Browse Source 
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
This commit is contained in:
Martin Stein 2018-04-19 11:39:55 +02:00 committed by Christian Helmuth
parent c421f59314
commit 5ef56395f0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/os/src/test/timeout/main.cc
View File

@ -439,7 +439,7 @@ struct Fast_polling : Test
static constexpr char const *brief = "poll time pretty fast"; static constexpr char const *brief = "poll time pretty fast";
enum { NR_OF_ROUNDS = 4 }; enum { NR_OF_ROUNDS = 4 };
enum { MIN_ROUND_DURATION_MS = 2000 }; enum { MIN_ROUND_DURATION_MS = 2500 };
enum { MAX_NR_OF_POLLS = 10000000 }; enum { MAX_NR_OF_POLLS = 10000000 };
enum { MIN_NR_OF_POLLS = 1000 }; enum { MIN_NR_OF_POLLS = 1000 };
enum { STACK_SIZE = 4 * 1024 * sizeof(addr_t) }; enum { STACK_SIZE = 4 * 1024 * sizeof(addr_t) };