From bc2a60316b4148797f26bfa51a838136cc77e680 Mon Sep 17 00:00:00 2001 From: weiyu Date: Wed, 16 Dec 2020 00:57:28 -0800 Subject: [PATCH] Build two versions of Silo, a debug version that checks invariants, and a version that does not check invariants --- scripts/build.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/build.sh b/scripts/build.sh index d3aef3e..e469e60 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -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 -- 2.34.1