diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-10-15 09:25:52 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-10-15 09:25:52 +0100 |
commit | 6c9cc975a5715f186c00e487c4ed38a221711651 (patch) | |
tree | a1255876fd7acc6faededaf18e87c14ec207fec6 /test | |
parent | ed8336189707bd1575de3cfffa730a2594086a33 (diff) | |
download | vericert-6c9cc975a5715f186c00e487c4ed38a221711651.tar.gz vericert-6c9cc975a5715f186c00e487c4ed38a221711651.zip |
Add HTLBlockgen and more scheduling
Diffstat (limited to 'test')
-rw-r--r-- | test/array.c | 2 | ||||
-rw-r--r-- | test/loop.c | 3 |
2 files changed, 2 insertions, 3 deletions
diff --git a/test/array.c b/test/array.c index 7d78a61..5c80694 100644 --- a/test/array.c +++ b/test/array.c @@ -2,6 +2,6 @@ int main() { int x[3] = {1, 2, 3}; int sum = 0, incr = 1; for (int i = 0; i < 3; i=i+incr) - sum += x[i]; + sum = sum + i; return sum; } diff --git a/test/loop.c b/test/loop.c index 52e4fe9..bece7f2 100644 --- a/test/loop.c +++ b/test/loop.c @@ -1,10 +1,9 @@ int main() { int max = 5; int acc = 0; - int b = 1; int c = 2; - for (int i = 0; i < max; i = i + b) { + for (int i = 0; i < max; i++) { acc += i; } |