aboutsummaryrefslogtreecommitdiff
path: root/README
diff options
context:
space:
mode:
authorMathieu Lirzin <mthl@gnu.org>2016-07-02 23:00:17 +0200
committerMathieu Lirzin <mthl@gnu.org>2016-07-02 23:00:17 +0200
commit7e9af4298e302a6d12dc15235033faaba6b3a15e (patch)
treea46c7a1f5e54b0592fa8470ff8aa981be9ec5854 /README
parent4b53493c3b6ee5554fe0a5887f672333b0da7811 (diff)
downloadcuirass-7e9af4298e302a6d12dc15235033faaba6b3a15e.tar
cuirass-7e9af4298e302a6d12dc15235033faaba6b3a15e.tar.gz
cuirass: Remove '--use-file' command line argument.
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