mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-18 17:00:26 +00:00
parent
4dd9d5eb6c
commit
79d1c4f83a
@ -6,6 +6,15 @@ if {![have_include power_on/qemu] ||
|
||||
exit 0
|
||||
}
|
||||
|
||||
proc test_timeout { } {
|
||||
if {[have_spec sel4] && [have_spec x86]} {
|
||||
return 240
|
||||
}
|
||||
if {[have_spec okl4] || [have_spec pistachio]} {
|
||||
return 240
|
||||
}
|
||||
return 120
|
||||
}
|
||||
|
||||
proc good_dst_ip { } { return "10.0.2.2" }
|
||||
proc bad_dst_ip { } { return "10.0.0.123" }
|
||||
@ -152,4 +161,4 @@ append qemu_args " -nographic "
|
||||
append qemu_args " -netdev user,id=net0 "
|
||||
append qemu_args " -net nic,model=[qemu_nic_model],netdev=net0 "
|
||||
|
||||
run_genode_until {.*ping\] 64 bytes from 10\.0\.2\.2: icmp_seq=30 .*\n} 120
|
||||
run_genode_until {.*ping\] 64 bytes from 10\.0\.2\.2: icmp_seq=30 .*\n} [test_timeout]
|
||||
|
Loading…
x
Reference in New Issue
Block a user