diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-03-17 17:28:44 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-03-17 17:28:44 +0000 |
commit | f8dacfecf8142baa3082fa2ab0ace6c49c97a0d8 (patch) | |
tree | 3e1d6107ff159a7d0d0fe45b640aa74913e98d14 /benchmarks/CHStone/motion/getbits.c | |
parent | ca22cf7459126240a2783988b29ee56399b429c9 (diff) | |
download | vericert-f8dacfecf8142baa3082fa2ab0ace6c49c97a0d8.tar.gz vericert-f8dacfecf8142baa3082fa2ab0ace6c49c97a0d8.zip |
Fix main proofs with smaller admits
Diffstat (limited to 'benchmarks/CHStone/motion/getbits.c')
0 files changed, 0 insertions, 0 deletions