search

Smattr / rumur

yet another model checker
The Unlicense
16 stars 5 forks source link

allow 'statx' in the sandbox #228

Closed Smattr closed 2 years ago

Smattr commented 2 years ago

Linux 4.11 added statx, which it seems libc now uses in preference to some of the older stat calls.

Reported-by: Adrian Bunk bunk@debian.org Debian: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1004035

Smattr commented 2 years ago

Reproduced the issue on a Debian unstable 32-bit x86 VM and confirmed this PR solves it.