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 /unittests/DiscretePDF | |
| 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 'unittests/DiscretePDF')
0 files changed, 0 insertions, 0 deletions