search

SVF-tools / Test-Suite

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

Make diff_tests executable #40

Closed lukekoko closed 3 years ago

lukekoko commented 3 years ago

Fix permission error

yuleisui commented 3 years ago

Can we generate this executable instead of putting this executable directly in the repo?

lukekoko commented 3 years ago

Can we generate this executable instead of putting this executable directly in the repo?

Yes, do you want it compiled in generate_bc.sh?

yuleisui commented 3 years ago

Can we generate this executable instead of putting this executable directly in the repo?

Yes, do you want it compiled in generate_bc.sh?

Yes, would be good.