public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

nixos/tests/agda: check execution of HelloWorld

Browse Source 
Test that the compiled executable actually runs.
This commit is contained in:
Alexander Ben Nasrallah 2021-01-22 17:25:29 +01:00
parent b4b4e36921
commit 67e43b7453
No known key found for this signature in database
GPG Key ID: DF6D22A22FA2D5A8
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
nixos/tests/agda.nix
View File

@ -36,6 +36,10 @@ in
"cp ${hello-world} HelloWorld.agda" "cp ${hello-world} HelloWorld.agda"
) )
machine.succeed("agda -l standard-library -i . -c 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"
''; '';
} }
) )