treewide: remove redundant IS_ERR() before error code check
[linux/fpc-iii.git] / tools / testing / selftests / rcutorture / formal / srcu-cbmc / 
tree0bde6bb9798c8042dc9b559d6d6d71d7b8092e92
drwxr-xr-x   ..
-rw-r--r-- 7 .gitignore
-rw-r--r-- 462 Makefile
drwxr-xr-x - empty_includes
drwxr-xr-x - include
-rwxr-xr-x 8964 modify_srcu.awk
drwxr-xr-x - src
drwxr-xr-x - tests