search

ApproxSymate / klee

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

Segfaults fix #15

Closed domainexpert closed 7 years ago

domainexpert commented 7 years ago

@Himeshi This PR resolves segmentation fault issues in the error propagator. The problems were exposed when the bitcode is preprocessed using mem2reg.