diff options
| author | Mathieu Lirzin <mthl@gnu.org> | 2016-07-13 17:43:58 +0200 |
|---|---|---|
| committer | Mathieu Lirzin <mthl@gnu.org> | 2016-07-14 17:44:23 +0200 |
| commit | 2ea7029a3129563063db3ab197b5aecd8faa7f51 (patch) | |
| tree | 6f2c7b57c9b258072847056e349be788c86b015e /README | |
| parent | 1b804d7402dda9a54c89bbc4731ea513719d6152 (diff) | |
| download | cuirass-2ea7029a3129563063db3ab197b5aecd8faa7f51.tar cuirass-2ea7029a3129563063db3ab197b5aecd8faa7f51.tar.gz | |
Update README example.
Diffstat (limited to 'README')
| -rw-r--r-- | README | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -16,4 +16,4 @@ Example A quick way to manually test Cuirass is to execute: - ./pre-inst-env cuirass --interval=10 tests/hello-subset.scm + ./pre-inst-env cuirass --one-shot tests/hello-subset.scm --database=test.db |