index
:
oopsla21_fvhls
master
Formal verification of high-level synthesis.
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
data
/
accumulator.c
blob: 217851cb86a399a5cac4b292991c510d1807e3c5 (
plain
)
1
2
3
4
5
int
main
() {
int
x
[
2
] = {
3
,
6
};
int
i
=
1
;
return
x
[
i
];
}