diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-02-16 15:06:11 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-02-16 15:06:11 +0000 |
commit | 64451fe0b1dcff1c780319e7b0639f99c8863800 (patch) | |
tree | a683eb068f8b12b363c88d85ce67be1398eabe21 /example/main.sv | |
parent | fc0192497f8cc03d322fca9fb4769ae1cb0b80f8 (diff) | |
download | vericert-64451fe0b1dcff1c780319e7b0639f99c8863800.tar.gz vericert-64451fe0b1dcff1c780319e7b0639f99c8863800.zip |
Make top-level theorems pass
Diffstat (limited to 'example/main.sv')
0 files changed, 0 insertions, 0 deletions