summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPaul E. McKenney <paulmck@linux.vnet.ibm.com>2017-05-27 03:31:45 +0300
committerPaul E. McKenney <paulmck@linux.vnet.ibm.com>2017-07-25 02:04:09 +0300
commitc7e224eec484e8e11cb119079bb82aa3a9b3506b (patch)
tree7c95751789b639e28b1944e7e187f633247a58bb
parentf1dbc54b929c5917c57b6661c9e37e42868b26a4 (diff)
downloadlinux-c7e224eec484e8e11cb119079bb82aa3a9b3506b.tar.xz
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>
-rw-r--r--tools/testing/selftests/rcutorture/configs/rcu/SRCU-u3
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/testing/selftests/rcutorture/configs/rcu/SRCU-u b/tools/testing/selftests/rcutorture/configs/rcu/SRCU-u
index 6bc24e99862f..c15ada821e45 100644
--- a/tools/testing/selftests/rcutorture/configs/rcu/SRCU-u
+++ b/tools/testing/selftests/rcutorture/configs/rcu/SRCU-u
@@ -4,6 +4,7 @@ CONFIG_PREEMPT_VOLUNTARY=n
CONFIG_PREEMPT=n
#CHECK#CONFIG_TINY_SRCU=y
CONFIG_RCU_TRACE=n
-CONFIG_DEBUG_LOCK_ALLOC=n
+CONFIG_DEBUG_LOCK_ALLOC=y
+CONFIG_PROVE_LOCKING=y
CONFIG_DEBUG_OBJECTS_RCU_HEAD=n
CONFIG_PREEMPT_COUNT=n