From 37144809f69f42b2d94920be5dd5088deca2006b Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Wed, 22 Jan 2020 12:21:39 +0100
Subject: [PATCH] Add log test

---
 tests/default.nix |  1 +
 tests/log.dhall   | 22 ++++++++++++++++++++++
 tests/log.nix     | 13 +++++++++++++
 3 files changed, 36 insertions(+)
 create mode 100644 tests/log.dhall
 create mode 100644 tests/log.nix

diff --git a/tests/default.nix b/tests/default.nix
index f95f1e3..9f37556 100644
--- a/tests/default.nix
+++ b/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 { };
 
diff --git a/tests/log.dhall b/tests/log.dhall
new file mode 100644
index 0000000..c329519
--- /dev/null
+++ b/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 ]
+    }
diff --git a/tests/log.nix b/tests/log.nix
new file mode 100644
index 0000000..d5aa625
--- /dev/null
+++ b/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";
+}