aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--README2
1 files changed, 1 insertions, 1 deletions
diff --git a/README b/README
index 47707e9..3096bf6 100644
--- 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