diff options
author | Nadesh Ramanathan <nadeshramanathan88@gmail.com> | 2020-06-13 13:06:25 +0100 |
---|---|---|
committer | Nadesh Ramanathan <nadeshramanathan88@gmail.com> | 2020-06-13 13:06:25 +0100 |
commit | 66e0117b6519f97eeef931a51ad029ee630f81f4 (patch) | |
tree | 1645168f6ed3242b6669ee2c9adae2f0d96993c5 | |
parent | d51ad9622d0913564870db50f8ab95d7cba30452 (diff) | |
download | vericert-kvx-66e0117b6519f97eeef931a51ad029ee630f81f4.tar.gz vericert-kvx-66e0117b6519f97eeef931a51ad029ee630f81f4.zip |
added return
-rw-r--r-- | test/array-out-of-bounds.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/array-out-of-bounds.c b/test/array-out-of-bounds.c index 425bf39..1f20c0c 100644 --- a/test/array-out-of-bounds.c +++ b/test/array-out-of-bounds.c @@ -5,5 +5,5 @@ int main() { int sum = 0; for(int i=0; i<2; i++) sum += (x[i] * y[i]); - + return sum; } |