diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-11-14 22:23:16 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-11-14 22:23:16 +0000 |
commit | b8616c44c16bf3edecd7d4569afcf8ff0f7992ef (patch) | |
tree | 131840b50a8f946aa7753a47c2531e01f8284355 /test/conditional.c | |
parent | d772e22704ffe806b9962507c9faf05ce0159133 (diff) | |
download | vericert-b8616c44c16bf3edecd7d4569afcf8ff0f7992ef.tar.gz vericert-b8616c44c16bf3edecd7d4569afcf8ff0f7992ef.zip |
Improve simplification of predicates
Diffstat (limited to 'test/conditional.c')
0 files changed, 0 insertions, 0 deletions