WIP: Error expression constraint solving using Z3

ApproxSymate / klee

KLEE Symbolic Virtual Machine for Numerical Precision Analysis

Other

0 stars 0 forks source link

Closed domainexpert closed 7 years ago

domainexpert commented 7 years ago

With the first commit is compilable, adding support for reals / ints instead of just bitvectors.

domainexpert commented 7 years ago

@Himeshi Not ready to be merged yet (WIP).

domainexpert commented 7 years ago

@Himeshi I close this PR now due to possibly not being able to add more commits caused by unforking from klee/klee. I will reopen a replacement PR.