Hi Nguyen, Just installed and run this case using KLEE-3.0 with LLVM-10, and it seems the issue is still reproducible for KLEE 3.
Please check more here: https://gist.github.com/haoxintu/183dda2923965d1e33f64ad59c7f5338#other-trials Thanks, Haoxin ________________________________ From: Nguyễn Gia Phong Sent: Wednesday, January 31, 2024 13:34 To: TU Haoxin; klee-dev@imperial.ac.uk Subject: Re: [klee-dev] Different behavior of KLEE when testing `dircolors` with "--optimize=true/false" option On 2024-01-31 at 05:07+00:00, TU Haoxin wrote: > The behavior is that KLEE fails to fork at a branch > that should be forked with the option --optimize option enabled > (i.e., --optimize=true). While the --optimize option is disabled > i.e., --optimize=false), the branch can be successfully forked [...] > > ### Reproduce the behavior > #### Enviroment > * KLEE-2.1 (also tested KLEE-2.3, and they behave the same) Just curious, is the issue reproducible for KLEE 3?
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
