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?
signature.asc
Description: PGP signature
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
