search

SVF-tools / Test-Suite

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

Support parsing of scientific notation of floating numbers #122

Closed xudon9 closed 6 months ago

xudon9 commented 6 months ago

This allows output like -1.2e+10.