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 klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
