diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-09-24 15:59:22 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-09-30 16:34:47 +0100 |
| commit | 90b2e80fb5f7cf7c455a01b0a0de8abe366bd39b (patch) | |
| tree | c74ee5aff86d5ed7f6405c6abe3cc6e0ad616465 /scripts/IStatsSum.py | |
| parent | 73b90b322bafdb9da22b21cfeeba11a430492037 (diff) | |
| download | klee-90b2e80fb5f7cf7c455a01b0a0de8abe366bd39b.tar.gz | |
Fix detection of installed clang
Any clang is fine as long as it is the right version. The current assumption is that it is suffixed with version.
Diffstat (limited to 'scripts/IStatsSum.py')
0 files changed, 0 insertions, 0 deletions