ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-20 01:36:22 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

ping*.run: raise test timeout

Browse Source 
On some platforms (x86_32/pistachio, x86_64/sel4) system startup is slow
and the previously configured 30 seconds not sufficient. With this commit, the
timeout is raised to 60 seconds only when running on such a platform.

Ref #4923
This commit is contained in:
Martin Stein 2023-06-14 11:57:49 +02:00 committed by Norman Feske
parent 21d4b8aba0
commit 40338f9acb
2 changed files with 13 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
repos/os/run/ping.run
View File

@ -197,4 +197,9 @@ append_qemu_nic_args
set done_string ".*\"ping_1\" exited with exit value 0.*\n"
append_if $second_ping_via_udp done_string ".*ping_2\] From [dst_ip] Destination Unreachable.*\n"
run_genode_until $done_string 30
proc test_timeout { } {
if {[have_spec sel4] && [have_board pc]} { return 60 }
return 30
}
run_genode_until $done_string [test_timeout]

8
repos/os/run/ping_nic_router.run
View File

@ -239,4 +239,10 @@ append done_string ".*ping_22\] From 10.0.4.1 icmp_seq=.* Destination Unreachabl
append_if $on_hardware done_string ".*ping_23\] From [good_dst_ip] Destination Unreachable.*\n"
run_genode_until $done_string 30
proc test_timeout { } {
if {[have_spec sel4] && [have_board pc]} { return 60 }
if {[have_spec pistachio] && [have_board pc]} { return 60 }
return 30
}
run_genode_until $done_string [test_timeout]