search

ApproxSymate / klee

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

Changed numerical precision error output file extension from fp_error… #19

Closed domainexpert closed 7 years ago

domainexpert commented 7 years ago

… to precision_error

domainexpert commented 7 years ago

@Himeshi I think I deleted the branch by mistake. Reopening this PR.