diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-02-28 14:41:06 +0000 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-02-28 14:41:06 +0000 |
commit | c448d1c2923ac70bd9e8b51b789055cca6e9655c (patch) | |
tree | 206c2312fe19d2fa1bdea1e7c812635e740f7a8f /Makefile | |
parent | 7e7a105fb5d54e9265405aea15251a3889e53f4d (diff) | |
download | vericert-c448d1c2923ac70bd9e8b51b789055cca6e9655c.tar.gz vericert-c448d1c2923ac70bd9e8b51b789055cca6e9655c.zip |
Add timeout to polybench runner
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions