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. -------------- next part -------------- HTML attachment scrubbed and removed