From 558921e4944521adfe052372e020e020ff31b257 Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Mon, 16 Nov 2020 12:53:30 -0800 Subject: [PATCH] [sledge] Allow -bound flag to be overridden in test Makefile Reviewed By: jvillard Differential Revision: D24989062 fbshipit-source-id: b36e67a61 --- sledge/test/Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/sledge/test/Makefile b/sledge/test/Makefile index e78c5fd36..1447f80c8 100644 --- a/sledge/test/Makefile +++ b/sledge/test/Makefile @@ -11,7 +11,7 @@ SLEDGE_DBG=$(CURDIR)/../_build/debug/cli/sledge_cli.exe SLEDGE_OPT=$(CURDIR)/../_build/release/cli/sledge_cli.exe # additional arguments to pass to sledge -SLEDGE_ARGS?= +SLEDGE_ARGS?=-bound 5 # limits for each test run TIMEOUT?=100 @@ -108,9 +108,9 @@ translate-status: translate.sexp # run analyze tests .PHONY: analyze analyze: compile - -@parallel --bar $(sledge_dbg) llvm analyze -bound 5 -trace Report+Control $(SLEDGE_ARGS) ::: $(AnalyzeTests) + -@parallel --bar $(sledge_dbg) llvm analyze -trace Report+Control $(SLEDGE_ARGS) ::: $(AnalyzeTests) -parallel_sledge_opt=parallel --shuf --bar $(sledge_opt) llvm analyze -append-report -bound 5 $(SLEDGE_ARGS) ::: +parallel_sledge_opt=parallel --shuf --bar $(sledge_opt) llvm analyze -append-report $(SLEDGE_ARGS) ::: analyze-perf1: compile @$(parallel_sledge_opt) $(AnalyzeTests)