From e116c00719a7574064c09da4abb10b3297415c90 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 22 Sep 2021 13:38:46 -0700
Subject: Remove CVC language support (#7219)

This commit removes the support for the CVC language and converts all *.cvc regression tests to SMT-LIBv2.
---
 test/regress/regress0/logops.02.cvc | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 test/regress/regress0/logops.02.cvc

(limited to 'test/regress/regress0/logops.02.cvc')

diff --git a/test/regress/regress0/logops.02.cvc b/test/regress/regress0/logops.02.cvc
deleted file mode 100644
index c74c11983..000000000
--- a/test/regress/regress0/logops.02.cvc
+++ /dev/null
@@ -1,3 +0,0 @@
-a, b, c: BOOLEAN;
-% EXPECT: not_entailed
-QUERY NOT c AND b;
-- 
cgit v1.2.3