From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Sat, 20 Oct 2018 14:02:16 +0000 (-0700)
Subject: Disable dumping test for non-dumping builds (#2662)
X-Git-Tag: cvc5-1.0.0~4395
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1d4324bf87a35e36d9cc1e856d74ffbaf912a848;p=cvc5.git

Disable dumping test for non-dumping builds (#2662)
---

diff --git a/test/regress/regress0/options/invalid_dump.smt2 b/test/regress/regress0/options/invalid_dump.smt2
index 9f92a7a64..ab6f6db31 100644
--- a/test/regress/regress0/options/invalid_dump.smt2
+++ b/test/regress/regress0/options/invalid_dump.smt2
@@ -1,3 +1,4 @@
+; REQUIRES: dumping
 ; COMMAND-LINE: --dump invalidDumpTag
 ; ERROR-SCRUBBER: grep -o "unknown option for --dump"
 ; EXPECT-ERROR: unknown option for --dump