drd: Add command-line option --verify-conflict-set
commit6822f42ee1d3b7275206945857f1bda73f139d0e
authorBart Van Assche <bvanassche@acm.org>
Fri, 8 Aug 2014 16:17:58 +0000 (8 16:17 +0000)
committerBart Van Assche <bvanassche@acm.org>
Fri, 8 Aug 2014 16:17:58 +0000 (8 16:17 +0000)
treedc9fa8706f3934df8b44bd6cac58dede5551ec0c
parent86b5594465eb810b4ab49d72e257ad9d1ac473b1
drd: Add command-line option --verify-conflict-set

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14242
drd/drd_main.c
drd/drd_thread.c
drd/drd_thread.h