Implement error tracking API that works on arrays

ApproxSymate / klee

KLEE Symbolic Virtual Machine for Numerical Precision Analysis

Other

0 stars 0 forks source link

Implement error tracking API that works on arrays #31

Closed Himeshi closed 7 years ago

Himeshi commented 7 years ago

Fixes for #25.

domainexpert commented 7 years ago

@Himeshi Please feel free to assign me as a reviewer when this is ready for merging. I would usually prefix the title of work in progress PRs with "WIP:".

domainexpert commented 7 years ago

@Himeshi Thank you! Merging this for now, but I presume to get the correct output, this has to be combined with #34.