update README.md

1 job for bugfix/julien/update-readme in 47 minutes and 19 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
failed #403440
docker
build

00:47:19

 
Name Stage Failure
failed
build Test
+++ b/ioccc/.frama-c/2019_yang_violet.eva/warnings.log
@@ -1,4 +1,6 @@
2019/yang/violet.c:18:[eva] warning: Using specification of function m for recursive calls. Analysis of function m
is thus incomplete and its soundness relies on the written specification.
+2019/yang/violet.c:18:[kernel] warning: using size of 'void'
2019/yang/violet.c:18:[eva] warning: Using specification of function m for recursive calls. Analysis of function m
is thus incomplete and its soundness relies on the written specification.
+2019/yang/violet.c:18:[kernel] warning: using size of 'void'
ERROR: Job failed: exit code 1