diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-09-14 20:12:34 +0200 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-09-14 20:12:34 +0200 |
| commit | 448872a3e885dec5c4ef402e179af17f185a32c0 (patch) | |
| tree | c73e0c1f2b72ac9b118b9833cfd47bd44212730b /include | |
| parent | a36cc972f9a8b56f48d90a5c99b9a5cb02a00a3c (diff) | |
| download | klee-448872a3e885dec5c4ef402e179af17f185a32c0.tar.gz | |
Use not test instead of non-existing FAIL.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions