diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-20 15:42:13 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-20 15:42:13 +0200 |
commit | 9603222d9eeeaface592cbe2c47834faba4ba50f (patch) | |
tree | 6385a4941a3ad5800e38ec5c6ff662bcbc365ba0 /test/c | |
parent | b3431b1d9ee5121883d307cff0b62b7e53369891 (diff) | |
download | compcert-kvx-9603222d9eeeaface592cbe2c47834faba4ba50f.tar.gz compcert-kvx-9603222d9eeeaface592cbe2c47834faba4ba50f.zip |
fix Mandelbrot
Diffstat (limited to 'test/c')
-rw-r--r-- | test/c/Results/mandelbrot-mppa_k1c | bin | 409 -> 209 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/test/c/Results/mandelbrot-mppa_k1c b/test/c/Results/mandelbrot-mppa_k1c Binary files differindex f50961fe..55c5683a 100644 --- a/test/c/Results/mandelbrot-mppa_k1c +++ b/test/c/Results/mandelbrot-mppa_k1c |