Browse Source

Add log test

20.02
Emery Hemingway 2 years ago
parent
commit
37144809f6
  1. 1
      tests/default.nix
  2. 22
      tests/log.dhall
  3. 13
      tests/log.nix

1
tests/default.nix

@ -4,6 +4,7 @@ let
tests = call:
{
fs_report = call ./fs_report.nix { };
log = call ./log.nix { };
signal = call ./signal.nix { };
} // call ./solo5 { };

22
tests/log.dhall

@ -0,0 +1,22 @@
-- SPDX-License-Identifier: CC0-1.0
let Genode = env:DHALL_GENODE
let base = env:BASE_MANIFEST
in { config =
Genode.Init::{
, verbose = True
, children =
toMap
{ test-log =
Genode.Init.Start::{
, binary = "test-log"
, exitPropagate = True
, resources = { caps = 500, ram = Genode.units.MiB 10 }
, routes = [ Genode.ServiceRoute.parent "Timer" ]
}
}
}
, rom = [ base.bin.test-log ]
}

13
tests/log.nix

@ -0,0 +1,13 @@
# SPDX-License-Identifier: CC0-1.0
{ testEnv, pkgs, ... }:
with pkgs;
testEnv.mkTest rec {
name = "log";
meta.maintainers = with pkgs.stdenv.lib.maintainers; [ ehmry ];
testConfig = ./log.dhall;
testScript = "run_genode_until {Test done.} 120";
}
Loading…
Cancel
Save