diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-03-23 14:00:08 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-23 14:00:08 +0000 |
| commit | 2806c2037c2e3ad9e29b33f88e0dae6b2d9d9df0 (patch) | |
| tree | bc899da4edae173c60a6f5bbd002e7d26765aaf8 | |
| parent | 1f8638a8a638a8b523c3fb403f0f3e69f7dc95ad (diff) | |
| parent | 3bbe85e0ee7e9762408fe872041974f10a99eece (diff) | |
| download | klee-2806c2037c2e3ad9e29b33f88e0dae6b2d9d9df0.tar.gz | |
Merge pull request #619 from jirislaby/FD_Fail
test: POSIX, stop FD_Fail to fail
| -rw-r--r-- | test/Runtime/POSIX/FD_Fail.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Runtime/POSIX/FD_Fail.c b/test/Runtime/POSIX/FD_Fail.c index 186ada51..2ee1a1a2 100644 --- a/test/Runtime/POSIX/FD_Fail.c +++ b/test/Runtime/POSIX/FD_Fail.c @@ -11,7 +11,7 @@ int main(int argc, char** argv) { char buf[1024]; - FILE* f = fopen("/etc/fstab", "r"); + FILE* f = fopen("/etc/mtab", "r"); assert(f); int r = fread(buf, 1, 100, f); |