search

ApproxSymate / klee

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

Change probability computation to use both src and dst basic blocks #81

Closed Himeshi closed 6 years ago

domainexpert commented 6 years ago

@Himeshi I removed the [WIP] and it all looks good to me.