search

ApproxSymate / klee

KLEE Symbolic Virtual Machine for Numerical Precision Analysis
Other
0 stars 0 forks source link

Pretty expressions #20

Closed domainexpert closed 7 years ago

domainexpert commented 7 years ago

Grafted PrettyExpressionBuilder from Tracer-X and use it to convert KLEE's KQuery expression into a more human-readable format when outputting precision error in *.fp_error files.

domainexpert commented 7 years ago

@Himeshi I have resolved merge conflicts for this PR; it is now ready to be merged.

domainexpert commented 7 years ago

Thank you @Himeshi.