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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
