/
usr
/
src
/
linux-headers-5.15.0-181
/
tools
/
testing
/
selftests
/
rcutorture
/
formal
/
srcu-cbmc
/
tests
/
/usr/src/linux-headers-5.15.0-181/tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests
mkdir
upload
Name
Size
Mode
Actions
store_buffering/
-
0755
rm
test_script.sh
2981
0755
edit
dl
rm
cmd:
run