search

SVF-tools / Test-Suite

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

Use arbitrary build directories to run the test suites #91

Closed MartinNowack closed 1 year ago

MartinNowack commented 1 year ago

Allows to have different build directories to run the test suite, not only ${CMAKE_BUILD_TYPE}-build.

Doesn't fallback to Release directory. Better to fail early.