diff options
| author | Eric Rizzi <eric.rizzi@gmail.com> | 2015-09-14 14:32:37 -0400 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2016-11-23 20:36:44 +0000 |
| commit | f27cf86466d75c71a302abe5e0a3ffcad1670373 (patch) | |
| tree | dd598d703d01fc8292afa6cc56816ec822715923 /test/lit.cfg | |
| parent | 094a21832d94bfaa5da8ea667e646328ca0e5432 (diff) | |
| download | klee-f27cf86466d75c71a302abe5e0a3ffcad1670373.tar.gz | |
Renamed .pc to .kquery (kleaver query)
Diffstat (limited to 'test/lit.cfg')
| -rw-r--r-- | test/lit.cfg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/lit.cfg b/test/lit.cfg index fdf9bf7b..4fe24ba2 100644 --- a/test/lit.cfg +++ b/test/lit.cfg @@ -21,7 +21,7 @@ config.test_format = lit.formats.ShTest(execute_external=False) # suffixes: A list of file extensions to treat as test files # Note this can be overridden by lit.local.cfg files -config.suffixes = ['.ll', '.c', '.cpp', '.pc'] +config.suffixes = ['.ll', '.c', '.cpp', '.kquery'] # test_source_root: The root path where tests are located. config.test_source_root = os.path.dirname(__file__) |