Test exits must propagate
When a test component exits this needs to be caught by a test harness, therefore the intermediate init needs to exit as well.
This commit is contained in:
parent
37144809f6
commit
3494b589ec
|
@ -12,6 +12,7 @@ in λ ( _
|
||||||
{ test-libc =
|
{ test-libc =
|
||||||
Genode.Init.Start::{
|
Genode.Init.Start::{
|
||||||
, binary = "test-libc"
|
, binary = "test-libc"
|
||||||
|
, exitPropagate = True
|
||||||
, resources = { caps = 200, ram = Genode.units.MiB 400 }
|
, resources = { caps = 200, ram = Genode.units.MiB 400 }
|
||||||
, routes = [ Genode.ServiceRoute.parent "Timer" ]
|
, routes = [ Genode.ServiceRoute.parent "Timer" ]
|
||||||
, config =
|
, config =
|
||||||
|
|
|
@ -12,6 +12,7 @@ in { config =
|
||||||
{ test-pci =
|
{ test-pci =
|
||||||
Genode.Init.Start::{
|
Genode.Init.Start::{
|
||||||
, binary = "test-pci"
|
, binary = "test-pci"
|
||||||
|
, exitPropagate = True
|
||||||
, resources = { caps = 96, ram = Genode.units.MiB 2 }
|
, resources = { caps = 96, ram = Genode.units.MiB 2 }
|
||||||
, routes =
|
, routes =
|
||||||
[ Genode.ServiceRoute.child "Platform" "platform_drv" ]
|
[ Genode.ServiceRoute.child "Platform" "platform_drv" ]
|
||||||
|
|
|
@ -12,6 +12,7 @@ in { config =
|
||||||
{ test-signal =
|
{ test-signal =
|
||||||
Genode.Init.Start::{
|
Genode.Init.Start::{
|
||||||
, binary = "test-signal"
|
, binary = "test-signal"
|
||||||
|
, exitPropagate = True
|
||||||
, resources = { caps = 500, ram = Genode.units.MiB 10 }
|
, resources = { caps = 500, ram = Genode.units.MiB 10 }
|
||||||
, routes = [ Genode.ServiceRoute.parent "Timer" ]
|
, routes = [ Genode.ServiceRoute.parent "Timer" ]
|
||||||
}
|
}
|
||||||
|
|
|
@ -10,6 +10,7 @@ in λ(testBinary : Genode.Prelude.Map.Entry Text Text)
|
||||||
{ solo5 =
|
{ solo5 =
|
||||||
Genode.Init.Start::{
|
Genode.Init.Start::{
|
||||||
, binary = testBinary.mapKey
|
, binary = testBinary.mapKey
|
||||||
|
, exitPropagate = True
|
||||||
, resources = { caps = 256, ram = Genode.units.MiB 3 }
|
, resources = { caps = 256, ram = Genode.units.MiB 3 }
|
||||||
, routes = [ Genode.ServiceRoute.parent "Timer" ]
|
, routes = [ Genode.ServiceRoute.parent "Timer" ]
|
||||||
, config =
|
, config =
|
||||||
|
|
Loading…
Reference in New Issue