search

SVF-tools / Test-Suite

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

POCR CPP Test #98

Closed TalbenXu closed 1 year ago

TalbenXu commented 1 year ago

POCR Provide better performance, so this PR change the exist cfl test using PAG rules to POCR Alias.