[klee-dev] KLEE Path Exploration Issue with -O1/-O2 Optimization Flags
Sun
shutong255 at gmail.com
Sun Oct 27 13:21:10 GMT 2024
Dear KLEE Community,
I’m facing an issue in KLEE when compiling with -O1 or -O2optimization flags. Using -O0, KLEE generates 16 test cases as expected, but with -O1 or -O2, it only generates one, despite klee_assume settings meant to guide path exploration.
Is this limited path coverage expected due to optimizations, or are there settings to preserve full path exploration at higher optimization levels?
Thank you for any insights!
Best regards
-------------- next part --------------
HTML attachment scrubbed and removed
More information about the klee-dev
mailing list