search

SVF-tools / Test-Suite

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

debug info and bc readability #56

Closed jumormt closed 3 years ago

jumormt commented 3 years ago
  1. add debug info only for saber test.
  2. change bc to readable ll but remaining with .bc suffix.