diff options
author | James Pollard <james@pollard.dev> | 2020-07-02 16:38:23 +0100 |
---|---|---|
committer | James Pollard <james@pollard.dev> | 2020-07-02 16:38:23 +0100 |
commit | cf19dd40f466691d28f4dfd86211724b700aa217 (patch) | |
tree | fc758531cbfc1e16e1c50b2669dba3489cfeb9bb /.travis.yml | |
parent | fc51e46012219e9410931820ef7c0612734620aa (diff) | |
download | vericert-kvx-cf19dd40f466691d28f4dfd86211724b700aa217.tar.gz vericert-kvx-cf19dd40f466691d28f4dfd86211724b700aa217.zip |
Fix callstate proof.
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions