diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-01-11 19:11:52 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-01-11 19:11:52 +0000 |
commit | e9de87c29c446a4e0169f55131a678535630ff18 (patch) | |
tree | b923b8e5fdd483db7df217a1bd3d2e543a3f99da /test/array.c | |
parent | 489b93c3e257e37f45c1f0eafeff950b97249c3f (diff) | |
download | vericert-e9de87c29c446a4e0169f55131a678535630ff18.tar.gz vericert-e9de87c29c446a4e0169f55131a678535630ff18.zip |
Add proof of empty items
Proof that correct items are returned from an empty forest.
Diffstat (limited to 'test/array.c')
0 files changed, 0 insertions, 0 deletions