Hi, I want to implement a search strategy in KLEE.
If I know some branch is feasible from prior knowledge (say I learn that for a some br instruction the true branch is always feasible),
How can I change KLEE to avoid calling the solver in Executor.cpp (in Instruction::Br)
and just guide the execution to next basic block? Please help! Thanks, Charitha Saumya _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
