Paul E. McKenney c7e224eec4 rcutorture: Select CONFIG_PROVE_LOCKING for Tiny SRCU scenario ... This commit selects CONFIG_PROVE_LOCKING for the SRCU-u scenario to get better test coverage. Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>		2017-07-24 16:04:09 -07:00
..
bin	rcutorture: Add "git diff" output to testid.txt file	2017-06-08 08:25:33 -07:00
configs	rcutorture: Select CONFIG_PROVE_LOCKING for Tiny SRCU scenario	2017-07-24 16:04:09 -07:00
doc	rcu: Eliminate NOCBs CPU-state Kconfig options	2017-06-08 18:52:43 -07:00
formal/srcu-cbmc	srcu-cbmc: Use /usr/bin/awk instead of /bin/awk	2017-06-08 08:25:32 -07:00
.gitignore	torture: Remove obsolete files from rcutorture .gitignore	2016-11-14 10:48:51 -08:00