diff --git a/repos/os/run/nic_router_flood.run b/repos/os/run/nic_router_flood.run index aa0cc7ff6e..91d0a77f9e 100644 --- a/repos/os/run/nic_router_flood.run +++ b/repos/os/run/nic_router_flood.run @@ -13,14 +13,14 @@ if {[get_cmd_switch --autopilot] && ([have_board virt_qemu_riscv] || exit 0 } -proc test_timeout { } { +proc num_ping_rounds { } { if {[have_spec sel4] && [have_spec x86]} { - return 240 + return 10 } if {[have_spec okl4] || [have_spec pistachio]} { - return 240 + return 10 } - return 120 + return 30 } proc good_dst_ip { } { return "10.0.2.2" } @@ -210,4 +210,4 @@ build_boot_image [build_artifacts] append qemu_args " -nographic " append_qemu_nic_args -run_genode_until {.*ping\] 64 bytes from 10\.0\.2\.2: icmp_seq=30 .*\n} [test_timeout] +run_genode_until ".*ping\] 64 bytes from 10\.0\.2\.2: icmp_seq=[num_ping_rounds] .*\n" 120