search

seahorn / sea-dsa

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Other
157 stars 29 forks source link

Dev10 #77

Closed priyasiddharth closed 4 years ago

priyasiddharth commented 4 years ago

do you prefer rebase instead of merge here?

agurfinkel commented 4 years ago

you history has a merge point. please resolve it before submitting the PR

priyasiddharth commented 4 years ago

Done