[klee-dev] klee_print_expr in SMTLIB2 format

[Cadar, Cristian]

No, but you should be able to accomplish this easily, by changing the 
code in handlePrintExpr() to use the code for printing expressions in 
the SMT-LIBv2 format (ExprSMTLIBPrinter).

Best,
Cristian

On 25/07/2019 12:43, Ramanuj Chouksey wrote:
> Hi,
> How do I convert the symbolic expression printed by klee_print_expr
> into SMTLIB2 format? Is it possible using kleaver?
> 
> Thanking you,
> Ramanuj,
> Research Scholar,
> CSE, IIT Guwahati,
> India.
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>