diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-03-01 20:41:38 +0000 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-03-01 20:45:03 +0000 |
commit | f2475c07f2c44b5463f5f1ef610e0713ddc01888 (patch) | |
tree | 46266238feb919fcfce452ac985b12b1ca740b4d /benchmarks/polybench-syn/run-vericert.sh | |
parent | a0625250b091fff9c05e4fe9eab1bec109333875 (diff) | |
download | vericert-f2475c07f2c44b5463f5f1ef610e0713ddc01888.tar.gz vericert-f2475c07f2c44b5463f5f1ef610e0713ddc01888.zip |
Remove non-functioning polybench tests
Diffstat (limited to 'benchmarks/polybench-syn/run-vericert.sh')
0 files changed, 0 insertions, 0 deletions