diff options
| author |  Dan Liew <daniel.liew@imperial.ac.uk> | 2014-05-28 17:04:54 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-05-28 17:04:54 +0100 |
| commit | 29b1cfaeb1823e314476ecedfdc2683e5a62b2b9 (patch) | |
| tree | 5d78254880435c6bdc9f78b8d378254ad28437c6 | |
| parent | 8c74b9664c48b18955ffe412013c2724dc95db2f (diff) | |
Documented the clean.py script
| -rw-r--r-- | Test/README.md | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/Test/README.md b/Test/README.md index 05a0f521..36eb474d 100644 --- a/Test/README.md +++ b/Test/README.md @@ -111,6 +111,23 @@ $ cd Test $ lit -v livevars/bla1.bpl
```
+Removing output produced by tests
+---------------------------------
+
+lit will by default create a folder named ``Output`` in each directory that
+will contain temporary files created by tests. You can run the following to
+remove all these folders/files.
+
+```
+$ cd Test
+$ ./clean.py
+```
+
+This script will also remove old files created by the legacy batch file based
+testing infrastructure (no longer in source tree). If temporary files are left
+behind from the old testing infrastructure it is necessary to run this script
+to remove those files before using ``lit``.
+
Writing tests
-------------
|