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