search

ApproxSymate / klee

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

Issue #39: Correct error propagation equations against sanity checks #40

Closed Himeshi closed 6 years ago

Himeshi commented 6 years ago

Correct the error propagation equations such that the sanity checks performed with the error expression output and actual program with concrete input injected with error, pass.

domainexpert commented 6 years ago

Looks good to me.