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

fix: rearrange so assert(false) not on return path #150

Open priyasiddharth opened 1 year ago

priyasiddharth commented 1 year ago

other changes are format only