GaloisInc / cclyzerpp

cclyzer++ is a precise and scalable pointer analysis for LLVM code.
https://galoisinc.github.io/cclyzerpp/
BSD 3-Clause "New" or "Revised" License
137 stars 14 forks source link

schema: made constant_hashes_to hashcode unsigned #144

Closed adrianherrera closed 1 year ago

adrianherrera commented 1 year ago

I was getting an error when loading constant_hashes_to data with the number too large to fit into a signed integer. Changing to an unsigned integer fixed this

langston-barrett commented 1 year ago

The CI failure is mysterious, and certainly unrelated to the changes. I'm debugging on #146.