search

SVF-tools / Test-Suite

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

Add option to struct-twoflds test #19

Closed mbarbar closed 4 years ago

mbarbar commented 4 years ago

This is in preparation for setting first-fields equivalent to the base. Once this is accepted, I will make a PR on the SVF repo implementing the option/default setting.