diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-12-18 15:18:14 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-01-16 22:45:05 +0000 |
| commit | 4dded235b6de4254589719ce1870f6dd117095ea (patch) | |
| tree | a225c166756d6e0e87ca7cc8cd24bc38045427c9 /lib/Core/PTree.cpp | |
| parent | d7e82a2d4e0f588faebfb6e44d01e685587f6872 (diff) | |
| download | klee-4dded235b6de4254589719ce1870f6dd117095ea.tar.gz | |
Rename old build system targets so that
* lit tests are run by the `systemtests` target * The `check` target runs the `systemtests` and `unittests` target This make its target names consistent with the CMake build system.
Diffstat (limited to 'lib/Core/PTree.cpp')
0 files changed, 0 insertions, 0 deletions