diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-11-15 12:12:20 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-11-15 12:12:20 +0000 |
| commit | 5bde8aa3510e9ae572146d3f82d8c4c5e0f2df1a (patch) | |
| tree | 6ed281fcc71113451c472c57237611821e5827ea /utils | |
| parent | f755e643e22cfcad5ebd95c88f02afe1044c1597 (diff) | |
| download | klee-5bde8aa3510e9ae572146d3f82d8c4c5e0f2df1a.tar.gz | |
Removed testing-env file. As for testing-dir that was removed in a
prior patch, this is part of the CU experiments and doesn't really belong here.
Diffstat (limited to 'utils')
0 files changed, 0 insertions, 0 deletions