diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-02-23 11:34:06 +0000 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-02-23 11:34:06 +0000 |
| commit | 7e7a105fb5d54e9265405aea15251a3889e53f4d (patch) | |
| tree | cca9a3bdd4facaec1b0db4103e6358d5bef7f846 /lib | |
| parent | 9b50c163a557f0fed641e7ccbe3dd727fe8b44c9 (diff) | |
| download | vericert-7e7a105fb5d54e9265405aea15251a3889e53f4d.tar.gz vericert-7e7a105fb5d54e9265405aea15251a3889e53f4d.zip | |
Polybench - don't print PASS if test has failed
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions