Hi, I'm new in KLEE and I have some *cvc *and *pc* queries generated by klee and I want to transform it into linear equations such as x <= 10; x >= 2. Can I do this using klee?
Best regards, Victor
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
