diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-03-01 11:44:23 +0000 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-03-01 11:44:23 +0000 |
| commit | 890f8d7619364b725417bf1694e6192312052f74 (patch) | |
| tree | b82d0892ab443bf4aab8010015aa72820f11125c /benchmarks/polybench-syn/syn-vivado.sh | |
| parent | 90a2c07c87fc3e570a5a92e34b297578e963948a (diff) | |
| download | vericert-890f8d7619364b725417bf1694e6192312052f74.tar.gz vericert-890f8d7619364b725417bf1694e6192312052f74.zip | |
Turn off -fschedule in test runner. Breaks sharing
Diffstat (limited to 'benchmarks/polybench-syn/syn-vivado.sh')
0 files changed, 0 insertions, 0 deletions