search

SVF-tools / Test-Suite

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

Update README.md #118

Closed science-enthusiast closed 8 months ago

science-enthusiast commented 8 months ago

ctest has to be run from the Release-build folder in order to find the test configuration file.