mirror of
https://github.com/priyanshujain/sanderling.git
synced 2026-10-02 19:17:10 +00:00
chore(conformance): widen android G5 budget to 5500ms
Physical-device p95 swung 3209-4612ms across sessions (cold runs right after a reboot are slower). 4500ms was too tight for that jitter; 5500ms covers the observed ceiling with headroom.
This commit is contained in:
1 parent
38618285c9
commit
4ace78c36b
1 file changed
+3
-2
@@ -24,7 +24,8 @@
|
||||
# DURATION=3m per-run fuzz duration
|
||||
# SEED=0 fuzz seed
|
||||
# P95_LIMIT_MS G5 p95 step-latency ceiling in ms (default 2500 for iOS,
|
||||
# 4500 for the android backend's higher per-step USB cost)
|
||||
# 5500 for the android backend's higher and more variable
|
||||
# per-step USB cost, especially cold right after a reboot)
|
||||
# SANDERLING=sanderling binary to invoke
|
||||
|
||||
set -euo pipefail
|
||||
@@ -42,7 +43,7 @@ SEED="${SEED:-0}"
|
||||
# the simulator; holding a physical device to it would force ripping out the
|
||||
# settle/retry logic the correctness gates depend on. Override with P95_LIMIT_MS.
|
||||
if [[ "$BACKEND" == "android" ]]; then
|
||||
P95_LIMIT_MS="${P95_LIMIT_MS:-4500}"
|
||||
P95_LIMIT_MS="${P95_LIMIT_MS:-5500}"
|
||||
else
|
||||
P95_LIMIT_MS="${P95_LIMIT_MS:-2500}"
|
||||
fi
|
||||
|
||||
Reference in new issue
Block a user