Hi Teja, I was also looking for this feature. Have you come up with a workaround?
Do you know if there is a way to transform expressions in kquery format to smt2 format? Best, ~ Ferhat On Mon, Jan 9, 2023 at 7:21 AM Teja Sai Srikar Bodavula <[email protected]> wrote: > Hello, I was wondering if there is way in which we can get > symbolic formula for a variable in a code in smt2 format unlike > kquery format which we get using klee_print_expr. > _______________________________________________ > 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
