search

ApproxSymate / klee

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

Issue71 Keep track of error expressions of all program variables in a global map #80

Closed Himeshi closed 6 years ago