aboutsummaryrefslogtreecommitdiff
path: root/README
diff options
context:
space:
mode:
Diffstat (limited to 'README')
-rw-r--r--README7
1 files changed, 7 insertions, 0 deletions
diff --git a/README b/README
index 5a9d31f..47707e9 100644
--- a/README
+++ b/README
@@ -10,3 +10,10 @@ as described here:
https://www.gnu.org/software/guix/manual/html_node/Building-from-Git.html#Building-from-Git
Its modules must be found by Guile in '%load-path'.
+
+Example
+=======
+
+A quick way to manually test Cuirass is to execute:
+
+ ./pre-inst-env cuirass --interval=10 tests/hello-subset.scm