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/Vivado.hs | |
parent | 547dfe800c418165a0eb3f4667e9ea87831b375a (diff) | |
download | verismith-3e78950eed93462bad170b70368cc41e47c4be3c.tar.gz verismith-3e78950eed93462bad170b70368cc41e47c4be3c.zip |
Add '--pedantic' to travis
Diffstat (limited to 'src/VeriFuzz/Sim/Vivado.hs')
0 files changed, 0 insertions, 0 deletions