GaloisInc/cclyzerpp

FactGenerator: Handle `fneg`

langston-barrett opened this issue · 1 comments

langston-barrett commented

The FactGenerator doesn't yet handle fneg, as seen in this MATE issue: GaloisInc/MATE#59

langston-barrett commented

Closed in #161