search

SVF-tools / Test-Suite

PTABen: Micro-benchmark Suite for Pointer Analysis
70 stars 38 forks source link

Integrate Travis CI #44

Closed Wren71 closed 3 years ago

Wren71 commented 3 years ago

Hopefully this is more manageable. We have reduced our commits