Update README example.

2ea7029a · Mathieu Lirzin · 1b804d74 · 2ea7029a
Commit 2ea7029a authored 8 years ago by Mathieu Lirzin
--- a/README
+++ b/README
@@ -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