summaryrefslogtreecommitdiffstats
path: root/tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux
Commit message (Expand)AuthorAgeFilesLines
* block: remove CONFIG_LBDAFChristoph Hellwig2019-04-061-4/+0Star
* rcutorture/formal: Replace synchronize_sched() with synchronize_rcu()Paul E. McKenney2018-12-011-2/+2
* License cleanup: add SPDX GPL-2.0 license identifier to files with no licenseGreg Kroah-Hartman2017-11-021-0/+1
* rcutorture: Add CBMC-based formal verification for SRCULance Roy2017-01-253-0/+157