Build two versions of Silo, a debug version that checks invariants, and a version...
authorweiyu <weiyuluo1232@gmail.com>
Wed, 16 Dec 2020 08:57:28 +0000 (00:57 -0800)
committerweiyu <weiyuluo1232@gmail.com>
Wed, 16 Dec 2020 08:57:28 +0000 (00:57 -0800)
scripts/build.sh

index d3aef3e..e469e60 100755 (executable)
@@ -24,6 +24,7 @@ make test
 cd /data/tsan11-benchmarks/silo
 make clean
 MODE=perf CHECK_INVARIANTS=0 USE_MALLOC_MODE=0 make -j dbtest
+MODE=perf DEBUG=1 CHECK_INVARIANTS=1 USE_MALLOC_MODE=0 make -j dbtest
 
 # Data structure benchmarks
 cd /data/tsan11-benchmarks/cdschecker_modified_benchmarks