diff options
Diffstat (limited to 'README')
| -rw-r--r-- | README | 13 |
1 files changed, 12 insertions, 1 deletions
@@ -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 |