From 67e43b7453ec197e5045f64dc630b57a3160038f Mon Sep 17 00:00:00 2001
From: Alexander Ben Nasrallah <me@abn.sh>
Date: Fri, 22 Jan 2021 17:25:29 +0100
Subject: nixos/tests/agda: check execution of HelloWorld

Test that the compiled executable actually runs.
---
 nixos/tests/agda.nix | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'nixos/tests/agda.nix')

diff --git a/nixos/tests/agda.nix b/nixos/tests/agda.nix
index bbdeb7395aa7e..ccc6a9bbfd1ec 100644
--- a/nixos/tests/agda.nix
+++ b/nixos/tests/agda.nix
@@ -36,6 +36,10 @@ in
         "cp ${hello-world} HelloWorld.agda"
     )
     machine.succeed("agda -l standard-library -i . -c HelloWorld.agda")
+    # Check execution
+    assert "Hello World!" in machine.succeed(
+        "./HelloWorld"
+    ), "HelloWorld does not run properly"
   '';
 }
 )
-- 
cgit 1.4.1