Update tests with new option names

SVF-tools / Test-Suite

PTABen: Micro-benchmark Suite for Pointer Analysis

70 stars 38 forks source link

Closed lukekoko closed 3 years ago

lukekoko commented 3 years ago

Due to changing of the user facing options to be consistent the test cases need to be updated to the new names. Pull #387 of SVF