diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-27 17:13:08 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-27 17:13:08 +0100 |
commit | a12c5d99df634bec3f95f2e10664b429173e49aa (patch) | |
tree | dc9c8eafba65af054c77c8bcc4bae736b31cf39f /test/c | |
parent | b46cdc3ade397a57a7b748946fb58e16e95bf42b (diff) | |
download | compcert-kvx-a12c5d99df634bec3f95f2e10664b429173e49aa.tar.gz compcert-kvx-a12c5d99df634bec3f95f2e10664b429173e49aa.zip |
fix issues in Mandelbrot due to modifications in the source code
Diffstat (limited to 'test/c')
-rw-r--r-- | test/c/mandelbrot.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/test/c/mandelbrot.c b/test/c/mandelbrot.c index fb8b929c..548c3ffa 100644 --- a/test/c/mandelbrot.c +++ b/test/c/mandelbrot.c @@ -59,7 +59,6 @@ int main (int argc, char **argv) if(bit_num == 8) { - printf("%c", byte_acc); putc(byte_acc,stdout); #ifdef __K1C__ // stdout isn't flushed enough when --syscall=libstd_scalls.so is passed to the simulator k1-cluster fflush(stdout); @@ -70,7 +69,6 @@ int main (int argc, char **argv) else if(x == w-1) { byte_acc <<= (8-w%8); - printf("%c", byte_acc); putc(byte_acc,stdout); #ifdef __K1C__ // stdout isn't flushed enough when --syscall=libstd_scalls.so is passed to the simulator k1-cluster fflush(stdout); |