[klee-dev] Use Kleaver to get test input from KQuery constraints

[Bowen Zhou]

Hello,

I tried to use Kleaver to solve a .pc file generated by Klee with option 
'-write-pcs'. The command I used is 'kleaver input.pc'. Kleaver always 
gives 'Query 0:        INVALID' as its output.

How can I get Kleaver to output a test input that satisfy the 
constraints in the input .pc file? Is it possible?

Cheers,
Bowen