Open
Description
I ran 1461 tests from tokio test suite with miri, 1230 of them passed, 217 failed, and 14 exceeded 5 minutes timeout.
Among the 217 failed tests, 159 of them are unsupported FFI errors. Below are the number of occurences for each unsupported syscall:
count
132 socket
10 mkfifo
8 sigaction
2 getaddrinfo
2 fchmod
1 shutdown
1 linkat
1 getsockopt
1 fstat
1 chmod
total count: 159
For tokio doc test:
count
17 socket
7 socketpair SOCK_DGRAM
1 pidfd_spawnp
total count: 25
Supported syscall but with unsupported flag:
F_GETFL
forfcntl