aboutsummaryrefslogtreecommitdiffstats
path: root/test
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2020-10-15 09:25:52 +0100
committerYann Herklotz <git@yannherklotz.com>2020-10-15 09:25:52 +0100
commit6c9cc975a5715f186c00e487c4ed38a221711651 (patch)
treea1255876fd7acc6faededaf18e87c14ec207fec6 /test
parented8336189707bd1575de3cfffa730a2594086a33 (diff)
downloadvericert-6c9cc975a5715f186c00e487c4ed38a221711651.tar.gz
vericert-6c9cc975a5715f186c00e487c4ed38a221711651.zip
Add HTLBlockgen and more scheduling
Diffstat (limited to 'test')
-rw-r--r--test/array.c2
-rw-r--r--test/loop.c3
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;
}