From c17f74bf190db87b45acb516b40bba2a7e257b89 Mon Sep 17 00:00:00 2001 From: Mathieu Lirzin Date: Tue, 26 Jul 2016 11:58:28 +0200 Subject: cuirass: Make specification argument optional. * bin/cuirass.in (%options): Add 'specifications' option. (main): Use it instead of the non-option command line arguments. (show-help): Adapt. * README (Example): Adapt. --- README | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) (limited to 'README') diff --git a/README b/README index 3096bf6..c27c472 100644 --- a/README +++ b/README @@ -16,4 +16,15 @@ Example A quick way to manually test Cuirass is to execute: - ./pre-inst-env cuirass --one-shot tests/hello-subset.scm --database=test.db + ./pre-inst-env cuirass --specifications=tests/hello-singleton.scm --database=test.db + +This will read the file "tests/hello-singleton.scm" which contains a list of +specifications and add them to the database "test.db" which is created if it +doesn't already exist. + +cuirass then loops evaluating/building the specs. The database keeps track of +the specifications in order to allow users to accumulate specifications. To +resume the evaluation/build process you can execute the same command without +the specifications option: + + ./pre-inst-env cuirass --database=test.db -- cgit v1.2.3