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 /lib | |
| parent | 7e7a105fb5d54e9265405aea15251a3889e53f4d (diff) | |
| download | vericert-c448d1c2923ac70bd9e8b51b789055cca6e9655c.tar.gz vericert-c448d1c2923ac70bd9e8b51b789055cca6e9655c.zip | |
Add timeout to polybench runner
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions