Issue47 Maintain symbolic expressions containing error for path conditions

ApproxSymate / klee

KLEE Symbolic Virtual Machine for Numerical Precision Analysis

Other

0 stars 0 forks source link

Closed Himeshi closed 6 years ago

domainexpert commented 6 years ago

@Himeshi Do you have an example that you used for testing this feature? Just so that I could test it myself.

Himeshi commented 6 years ago

Added a new pull request #56 and therefore closing.