diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-04-29 09:18:29 +0200 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-09-14 19:46:19 +0200 |
| commit | a36cc972f9a8b56f48d90a5c99b9a5cb02a00a3c (patch) | |
| tree | d335c1383aa1ce0ce4714c89f1d4c1ead6161a37 /include | |
| parent | 70fe6477b58c93366368951dc5ba9bcb6c0fe168 (diff) | |
| download | klee-a36cc972f9a8b56f48d90a5c99b9a5cb02a00a3c.tar.gz | |
Fix testcase FD_Fail2.c
Major issue was that puts was used for the succeed printf calls. With newer gcc/clang versions, printf is always used. The former took different code paths leading to much more possibilities to trigger failed writes and therefore generating more test cases. This patch avoids the generation of puts. And checks for the 4 possible generated test cases for 2 possible errors.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions