From b77fe268066841fa532e1d19ecf5e55c441ca034 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Wed, 9 Jun 2021 16:03:04 +0200 Subject: [PATCH] Require statistics for regression (#6714) This PR makes a new regression explicitly require statistics. --- test/regress/regress0/options/statistics.smt2 | 1 + 1 file changed, 1 insertion(+) diff --git a/test/regress/regress0/options/statistics.smt2 b/test/regress/regress0/options/statistics.smt2 index 047c039ee..ae9d93b6f 100644 --- a/test/regress/regress0/options/statistics.smt2 +++ b/test/regress/regress0/options/statistics.smt2 @@ -1,3 +1,4 @@ +; REQUIRES: statistics ; EXPECT: false ; EXPECT: false ; EXPECT: false -- 2.30.2