issues
search
sosy-lab
/
sv-benchmarks
Collection of Verification Tasks (MOVED, please follow the link)
https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks
184
stars
169
forks
source link
aws: initialize variables in two aws benchmarks
#1281
Closed
mchalupa
closed
3 years ago
mchalupa
commented
3 years ago
Fixes #1280.
Fixes #1280.