diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-04-17 19:18:57 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-04-17 19:18:57 +0100 |
| commit | 3e78950eed93462bad170b70368cc41e47c4be3c (patch) | |
| tree | 036b01e2b3cd958f889a7000ef54b6344dfe9563 /src/VeriFuzz/Sim | |
| parent | 547dfe800c418165a0eb3f4667e9ea87831b375a (diff) | |
| download | verismith-3e78950eed93462bad170b70368cc41e47c4be3c.tar.gz verismith-3e78950eed93462bad170b70368cc41e47c4be3c.zip | |
Add '--pedantic' to travis
Diffstat (limited to 'src/VeriFuzz/Sim')
0 files changed, 0 insertions, 0 deletions