diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-18 21:20:34 +0100 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-18 21:20:34 +0100 |
commit | bfba2efd08c07d79fc1e553349b6380323a88a9a (patch) | |
tree | 26d93e4de1145198ae003aea939f1c062a0a9936 /example/main.c | |
parent | 51a8be8db7ffe527a792b082aa66016fd2c95e3f (diff) | |
download | vericert-bfba2efd08c07d79fc1e553349b6380323a88a9a.tar.gz vericert-bfba2efd08c07d79fc1e553349b6380323a88a9a.zip |
Get Icall translation lemma *statement* passing
Diffstat (limited to 'example/main.c')
0 files changed, 0 insertions, 0 deletions