|
From: <sv...@va...> - 2014-08-09 12:47:25
|
Author: bart
Date: Sat Aug 9 12:47:17 2014
New Revision: 14248
Log:
drd/Testing.txt: Document how to run all regression tests with conflict set verification enabled
Modified:
trunk/drd/Testing.txt
Modified: trunk/drd/Testing.txt
==============================================================================
--- trunk/drd/Testing.txt (original)
+++ trunk/drd/Testing.txt Sat Aug 9 12:47:17 2014
@@ -34,6 +34,7 @@
6. Run the regression tests as follows:
perl tests/vg_regtest drd
+ DRD_VERIFY_CONFLICT_SET=1 perl tests/vg_regtest drd
7. Run the regression tests that were developed for Thread Sanitizer:
./vg-in-place --tool=drd --check-stack-var=yes drd/tests/tsan_unittest 2>&1|less
|