[miniz] update oracles

1 job for improve-miniz in 52 minutes and 50 seconds (queued for 1 second)
Status Name Job ID Coverage
  Test
failed build #414699
docker

00:52:50

 
Name Stage Failure
failed
build Test
-FRAMAC_SHARE/libc	unistd.h	1133	write	precondition	Unknown	buf_has_room: \valid_read((char *)buf + (0 .. count - 1))
+FRAMAC_SHARE/libc unistd.h 1006 read precondition Unknown valid_fd: 0 ≤ fd < 1024
+FRAMAC_SHARE/libc unistd.h 1007 read precondition Unknown buf_has_room: \valid((char *)buf + (0 .. count - 1))
+FRAMAC_SHARE/libc unistd.h 1139 write precondition Unknown valid_fd: 0 ≤ fd < 1024
+FRAMAC_SHARE/libc unistd.h 1140 write precondition Unknown buf_has_room: \valid_read((char *)buf + (0 .. count - 1))
FRAMAC_SHARE/libc/sys socket.h 301 accept precondition Unknown valid_sockfd: 0 ≤ sockfd < 1024
FRAMAC_SHARE/libc/sys socket.h 536 shutdown precondition Unknown valid_sockfd: 0 ≤ sockfd < 1024
library ctr_drbg.c 154 block_cipher_df mem_access Unknown \valid_read(p + i)
ERROR: Job failed: exit code 1