Update test-suite diff_tests

SVF-tools / Test-Suite

PTABen: Micro-benchmark Suite for Pointer Analysis

70 stars 38 forks source link

Closed lukekoko closed 2 years ago

lukekoko commented 2 years ago

Added 2 more crux-bc test cases
Issue with diff_tests on MacOS was unordered results. Added ordering to fix this