From 69a3e5606fa7100e233f0d04949b16d8913666fb Mon Sep 17 00:00:00 2001 From: Donald Sebastian Leung Date: Fri, 23 Oct 2020 10:43:43 +0800 Subject: [PATCH] Add mention of Nix in "Running the verification tasks" --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index ca51801..954e9b5 100644 --- a/README.md +++ b/README.md @@ -11,7 +11,7 @@ Formally verified implementation of the ARTIQ RTIO core in nMigen ## Running the verification tasks -Currently, only the sorting network contains assertions to be verified. To run the verification tasks for the sorting network, change directory to the root of this project and do +Currently, only the sorting network contains assertions to be verified. To run the verification tasks for the sorting network, change directory to the root of this project, set up the [Nix](https://nixos.org) environment by running `nix-shell` and do ```bash $ python -m rtio.test.sed.output_network