Software Verification tool, which uses superposition-based theorem proving to establish the functional correctness of array- and hyper-properties.
3
stars
6
forks
source link
Remove const attribute from std::vector value (close #24) #25
Closed
hentom closed 4 years ago