search

ApproxSymate / klee

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

Error propagation via store/load #4

Closed domainexpert closed 7 years ago

domainexpert commented 7 years ago

@Himeshi Towards resolving issue #3. This is still a work in progress.

domainexpert commented 7 years ago

@Himeshi l will merge this one now; please have a look at the commits later.

domainexpert commented 7 years ago

@Himeshi The new feature can be tested by running make get_sign.klee in basic directory of the fp-examples repository. This will create *.fp_error files containing the error expression for the variable output for the paths of the program that visit the klee_output_error call.