search

Smattr / rumur

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

allow 'newfstatat' in the sandbox #226

Closed Smattr closed 2 years ago

Smattr commented 2 years ago

Newer kernels/libc use this in preference to stat/fstat.

Reported-by: Lucas Nussbaum lucas@debian.org

Debian: #1002186 “rumur: FTBFS” https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1002186