From 2ea7029a3129563063db3ab197b5aecd8faa7f51 Mon Sep 17 00:00:00 2001 From: Mathieu Lirzin Date: Wed, 13 Jul 2016 17:43:58 +0200 Subject: Update README example. --- README | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README') 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 -- cgit v1.2.3