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: f8b5e324eca150f05da8c4fdf2bdd185895a888a (
plain
)
1
2
3
4
int
main
() {
int
x
[
1
] = {
3
};
return
x
[
0
];
}