diff --git a/clang/test/BoundsSafety/Analysis/lit.local.cfg b/clang/test/BoundsSafety/Analysis/lit.local.cfg index 1e8cf4c3b7c4b..020150006450a 100644 --- a/clang/test/BoundsSafety/Analysis/lit.local.cfg +++ b/clang/test/BoundsSafety/Analysis/lit.local.cfg @@ -7,7 +7,7 @@ import site site.addsitedir(os.path.dirname(__file__)) import analyzer_test config.test_format = analyzer_test.AnalyzerTest( - config.test_format.execute_external, config.use_z3_solver) + config.test_format.execute_external, False) # Filtering command used by Clang Analyzer tests (when comparing .plist files # with reference output)