Revert to previous diff-test

SVF-tools / Test-Suite

PTABen: Micro-benchmark Suite for Pointer Analysis

70 stars 38 forks source link

Revert to previous diff-test #72

Closed jeffjma closed 2 years ago

jeffjma commented 2 years ago

Reverts diff test to before fspta was added. This was causing mac tests to fail for svfg diff-tests. Please squish and merge to prevent large amount of commits.