Add missing regression

diff --git a/test/regress/regress0/uf/cnf-and-neg.smt2 b/test/regress/regress0/uf/cnf-and-neg.smt2
new file mode 100755 (executable)
index 0000000..711740f
--- /dev/null
+++ b/test/regress/regress0/uf/cnf-and-neg.smt2
@@ -0,0 +1,11 @@
+(set-logic QF_UF)\r
+(set-info :status unsat)\r
+(declare-sort I 0)\r
+(declare-fun a () I)\r
+(declare-fun b () I)\r
+(declare-fun c () I)\r
+(declare-fun f (I) I)\r
+(assert (not (= (f a) (f b))))\r
+(assert (not (= (f a) (f c))))\r
+(assert (not (and (not (= a b)) (not (= a c)))))\r
+(check-sat)\r