Correct error propagation equations against sanity checks of actual programs

ApproxSymate / klee

KLEE Symbolic Virtual Machine for Numerical Precision Analysis

Other

0 stars 0 forks source link

Correct error propagation equations against sanity checks of actual programs #39

Closed Himeshi closed 6 years ago

Himeshi commented 6 years ago

A sanity check of the error generated by the error expression and the actual program run with concrete inputs injected with error for array_test2.c revealed that the error propagation equations need some minor modifications.

domainexpert commented 6 years ago

Resolved via #40.