Delete test9.c. It was introduced in extapi.json previously, and it w… - Githubissues

SVF-tools / Test-Suite

PTABen: Micro-benchmark Suite for Pointer Analysis

69 stars 38 forks source link

Delete test9.c. It was introduced in extapi.json previously, and it w… #117

Closed shuangxiangkan closed 10 months ago

shuangxiangkan commented 10 months ago

…as only added for the purpose of increasing coverage.