search

ApproxSymate / klee

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

Append outputString when creating new ErrorState in order to facilita… #57

Closed Himeshi closed 6 years ago

Himeshi commented 6 years ago

…te klee_bound_error calls inside methods

domainexpert commented 6 years ago

@Himeshi Thank you so much.