diff options
author | Mathieu Lirzin <mthl@gnu.org> | 2016-07-02 23:00:17 +0200 |
---|---|---|
committer | Mathieu Lirzin <mthl@gnu.org> | 2016-07-02 23:00:17 +0200 |
commit | 7e9af4298e302a6d12dc15235033faaba6b3a15e (patch) | |
tree | a46c7a1f5e54b0592fa8470ff8aa981be9ec5854 /README | |
parent | 4b53493c3b6ee5554fe0a5887f672333b0da7811 (diff) | |
download | cuirass-7e9af4298e302a6d12dc15235033faaba6b3a15e.tar cuirass-7e9af4298e302a6d12dc15235033faaba6b3a15e.tar.gz |
cuirass: Remove '--use-file' command line argument.
Diffstat (limited to 'README')
-rw-r--r-- | README | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -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 |