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

Changes and fixes to run `dev14` successfully CI #156

Closed caballa closed 1 year ago

caballa commented 1 year ago

dev14 was never run in CI so some of the tests were broken. This PR passes all tests.

Changes: