diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-03-14 19:23:59 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-05-26 21:03:44 +0100 |
| commit | 6d8c05c5349e7329e6f261317be6d43148bb20ed (patch) | |
| tree | 9263901419445b45ece557796463aade1aad60c7 /test | |
| parent | c588b9572eb09f00fa4a79340224f44a7bf3bf71 (diff) | |
| download | klee-6d8c05c5349e7329e6f261317be6d43148bb20ed.tar.gz | |
Refactored and fixed the code dealing with the entry point.
main() should not be processed if the entry point is a different function. This also fixes an abnormal termination when --entry-point and --libc=uclibc are used together (#1572)
Diffstat (limited to 'test')
| -rw-r--r-- | test/Feature/EntryPointMissing.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/Feature/EntryPointMissing.c b/test/Feature/EntryPointMissing.c index 3a0d0530..c18fe590 100644 --- a/test/Feature/EntryPointMissing.c +++ b/test/Feature/EntryPointMissing.c @@ -1,6 +1,5 @@ // REQUIRES: posix-runtime // REQUIRES: uclibc -// XFAIL: * // RUN: %clang -emit-llvm -g -c %s -o %t.bc // RUN: rm -rf %t.klee-out |