search

SVF-tools / Test-Suite

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

[docs] mention running SVF's "setup.sh" or similar for required environment variables #1

Closed dtzWill closed 7 years ago

dtzWill commented 7 years ago

Minor detail :).

dtzWill commented 7 years ago

Oh wow, I'm blind: https://github.com/unsw-corg/PTABen/blob/master/runtest.sh#L11

While maybe it could be made more prominent, since it's clear that one needs to edit runtest.sh anyway this addresses the concern.

Apologies!

yuleisui commented 7 years ago

Thanks Will! I will add one in PTABen homepage.