search

ApproxSymate / klee

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

Replace klee_output_error with klee_bound_error #6

Closed domainexpert closed 7 years ago

domainexpert commented 7 years ago

klee_bound_error accepts second argument that is a constant double. This argument is the error bound of the output, to be combined with the output error expression as a constraint.