Ander IR diff test - Githubissues

SVF-tools / Test-Suite

PTABen: Micro-benchmark Suite for Pointer Analysis

70 stars 38 forks source link

Closed lukekoko closed 2 years ago

yuleisui commented 2 years ago

I think we do not need to push the generated *.pre.bc to the repo.

yuleisui commented 2 years ago

You can remove *.pre.bc before git push to the repo.

lukekoko commented 2 years ago

There are no *.pre.bc files in this PR?