about summary refs log tree commit diff homepage
path: root/README.md
diff options
context:
space:
mode:
authorJiri Slaby <jirislaby@gmail.com>2017-03-17 13:29:08 +0100
committerJiri Slaby <jirislaby@gmail.com>2017-03-17 13:36:45 +0100
commit3bbe85e0ee7e9762408fe872041974f10a99eece (patch)
tree4154e7beed26b49eb727dbac1db43ae83632d016 /README.md
parent8b5188e4237aa172a9c2b3e3efca9fe7a091cf70 (diff)
downloadklee-3bbe85e0ee7e9762408fe872041974f10a99eece.tar.gz
test: POSIX, stop FD_Fail to fail
In our build environments, /etc/fstab is an empty file. Use /etc/mtab,
which should be non-empty anywhere, hopefully.

For the reference, the test fails as follows:
FAIL: KLEE :: Runtime/POSIX/FD_Fail.c (188 of 212)
************ TEST 'KLEE :: Runtime/POSIX/FD_Fail.c' FAILED ************
Script:
--
clang-3.8 -Iinclude test/Runtime/POSIX/FD_Fail.c -emit-llvm -O0 -c -o build/test/Runtime/POSIX/Output/FD_Fail.c.tmp1.bc
rm -rf build/test/Runtime/POSIX/Output/FD_Fail.c.tmp.klee-out
build/bin/klee --output-dir=build/test/Runtime/POSIX/Output/FD_Fail.c.tmp.klee-out --libc=uclibc --posix-runtime build/test/Runtime/POSIX/Output/FD_Fail.c.tmp1.bc --sym-files 0 0 --max-fail 1 > build/test/Runtime/POSIX/Output/FD_Fail.c.tmp.log
grep -q "fread(): ok" build/test/Runtime/POSIX/Output/FD_Fail.c.tmp.log
grep -q "fread(): fail" build/test/Runtime/POSIX/Output/FD_Fail.c.tmp.log
grep -q "fclose(): ok" build/test/Runtime/POSIX/Output/FD_Fail.c.tmp.log
grep -q "fclose(): fail" build/test/Runtime/POSIX/Output/FD_Fail.c.tmp.log
--
Exit Code: 1

Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions