diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-04-02 14:53:39 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-04-02 14:53:39 +0100 |
commit | 7a76e9d632756a4d3f044d6742a5defb83ce6ae7 (patch) | |
tree | 2cb909cfe974953c019f120e06101e686402ba07 /test/conditional.c | |
parent | b22dfebd3a1638c431e9ab32fac391aa95f846eb (diff) | |
download | vericert-7a76e9d632756a4d3f044d6742a5defb83ce6ae7.tar.gz vericert-7a76e9d632756a4d3f044d6742a5defb83ce6ae7.zip |
Add tests
Diffstat (limited to 'test/conditional.c')
-rw-r--r-- | test/conditional.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/conditional.c b/test/conditional.c new file mode 100644 index 0000000..041e55b --- /dev/null +++ b/test/conditional.c @@ -0,0 +1,7 @@ +int main() { + int x = 2; + if (x > 1) + return 5; + else + return 2; +} |