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
create preprocessing_script.sh
#1303
Open
goldmannc
opened
3 years ago
goldmannc
commented
3 years ago
created a preprocessing script for the juliet test suite
created a preprocessing script for the juliet test suite