search

smackers / smack

SMACK Software Verifier and Verification Toolchain
http://smackers.github.io
Other
432 stars 82 forks source link

Fix a undefined behavior in `ExtractContracts.cpp` #725

Closed shaobo-he closed 3 years ago

shaobo-he commented 3 years ago

Fixes #724