diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-03-25 09:29:29 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-03-25 09:29:29 +0000 |
| commit | 1dabaa474dd083396d823f177734ef7ec8239d3b (patch) | |
| tree | 1e34c34482197a803a4bf3a0d1d569d570f446d5 /debug | |
| parent | ef419af78aa974c760b17e2a4e7f6a096f0626e5 (diff) | |
| download | vericert-kvx-1dabaa474dd083396d823f177734ef7ec8239d3b.tar.gz vericert-kvx-1dabaa474dd083396d823f177734ef7ec8239d3b.zip | |
Prove lt property for statements
Diffstat (limited to 'debug')
0 files changed, 0 insertions, 0 deletions