diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-04-11 16:28:49 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-11 16:28:49 +0200 |
commit | d407e23fe62ce837082820f777564c0050cf66c1 (patch) | |
tree | 1a3b3f260a61c7dcc2d096e0133a8b1dcc42a257 /test/mppa/general/simple.c | |
parent | 1ecd47e848d3073c7317dc39c4fa72dbac66dd60 (diff) | |
download | compcert-kvx-d407e23fe62ce837082820f777564c0050cf66c1.tar.gz compcert-kvx-d407e23fe62ce837082820f777564c0050cf66c1.zip |
MPPA - Automatic generation of expected value for tests
Diffstat (limited to 'test/mppa/general/simple.c')
-rw-r--r-- | test/mppa/general/simple.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/mppa/general/simple.c b/test/mppa/general/simple.c index 725aff68..451522fc 100644 --- a/test/mppa/general/simple.c +++ b/test/mppa/general/simple.c @@ -4,3 +4,5 @@ int main(void){ return (a+b); } + +/* RETURN VALUE: 7 */ |