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/add.c | |
parent | b22dfebd3a1638c431e9ab32fac391aa95f846eb (diff) | |
download | vericert-kvx-7a76e9d632756a4d3f044d6742a5defb83ce6ae7.tar.gz vericert-kvx-7a76e9d632756a4d3f044d6742a5defb83ce6ae7.zip |
Add tests
Diffstat (limited to 'test/add.c')
-rw-r--r-- | test/add.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/test/add.c b/test/add.c new file mode 100644 index 0000000..ab03976 --- /dev/null +++ b/test/add.c @@ -0,0 +1,6 @@ +int main () { + int x = 1; + int y = 2; + int z = x + y; + return z; +} |