diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-08-24 13:35:32 +0100 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-08-24 13:35:32 +0100 |
| commit | 6c672aa7da06264c4d966b870c7b63a0256348d6 (patch) | |
| tree | b4a97c938382d771a19acffa2ce480e24d130c63 /src | |
| parent | 182b29c0db3c408f7bd7360af90e5b360d63222d (diff) | |
| download | vericert-6c672aa7da06264c4d966b870c7b63a0256348d6.tar.gz vericert-6c672aa7da06264c4d966b870c7b63a0256348d6.zip | |
Remove -Werror from benchmark runner
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions