diff options
author | James Pollard <james@pollard.dev> | 2020-06-30 17:39:09 +0100 |
---|---|---|
committer | James Pollard <james@pollard.dev> | 2020-06-30 17:39:09 +0100 |
commit | a8aaca57d901e219d52ccae03833a59a75aaafe2 (patch) | |
tree | 6b56c0964663257e9cf06f989fa3bd6aaee9ea11 /test/loop.c | |
parent | ffc978ec677f2f37ab8d8d1bf865cddadf087b81 (diff) | |
parent | f26f3887d0b0ac286c317a5425a3a4781871cfc2 (diff) | |
download | vericert-a8aaca57d901e219d52ccae03833a59a75aaafe2.tar.gz vericert-a8aaca57d901e219d52ccae03833a59a75aaafe2.zip |
Merge branch 'develop' of github.com:ymherklotz/coqup into develop
Diffstat (limited to 'test/loop.c')
-rw-r--r-- | test/loop.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/test/loop.c b/test/loop.c index b459e3a..52e4fe9 100644 --- a/test/loop.c +++ b/test/loop.c @@ -1,10 +1,12 @@ int main() { int max = 5; int acc = 0; + int b = 1; + int c = 2; - for (int i = 0; i < max; i++) { + for (int i = 0; i < max; i = i + b) { acc += i; } - return acc + 2; + return acc + c; } |