~/kleef_build/klee_build140bitwuzla_stp_z3default/bin/klee --max-time=360 --optimize --search=bfs --posix-runtime --libc=klee --strip-unwanted-calls --delete-dead-loops=false --emit-all-errors --mock-policy=all --external-calls=all --use-forked-solver=false --solver-backend=bitwuzla-tree --max-solvers-approx-tree-inc=16 --use-sym-size-alloc=true --symbolic-allocation-threshold=8192 --max-constant-size-alloc=26777216 test.bc
Causes segmentation fault on CPU verification.
~/kleef_build/klee_build140bitwuzla_stp_z3default/bin/klee --max-time=360 --optimize --search=bfs --posix-runtime --libc=klee --strip-unwanted-calls --delete-dead-loops=false --emit-all-errors --mock-policy=all --external-calls=all --use-forked-solver=false --solver-backend=bitwuzla-tree --max-solvers-approx-tree-inc=16 --use-sym-size-alloc=true --symbolic-allocation-threshold=8192 --max-constant-size-alloc=26777216 test.bcCauses segmentation fault on CPU verification.