[klee-dev] How to avoid calling the solver if the branch is known at run-time

[Charitha Saumya]

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