From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Wed, 16 Mar 2022 22:56:23 +0000 (-0700)
Subject: Remove unused files in `regress0` (#8325)
X-Git-Tag: cvc5-1.0.0~235
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=77a4bd4fedc0a3648ff7031d052737c182af5791;p=cvc5.git

Remove unused files in `regress0` (#8325)
---

diff --git a/test/regress/cli/regress0/bv/temp.lrat b/test/regress/cli/regress0/bv/temp.lrat
deleted file mode 100644
index e69de29bb..000000000
diff --git a/test/regress/cli/regress0/uf/mkpidgeon b/test/regress/cli/regress0/uf/mkpidgeon
deleted file mode 100644
index 6852145ac..000000000
--- a/test/regress/cli/regress0/uf/mkpidgeon
+++ /dev/null
@@ -1,44 +0,0 @@
-#!/bin/bash
-# Simple pidgeon-hole problem generator in SMT-LIBv2
-# (c) 2011 Morgan Deters <mdeters@cs.nyu.edu>
-# 2011 July 7
-
-if [ $# -ne 1 ]; then
-  echo "usage: $(basename "$0") size" >&2
-  exit 1
-fi
-
-N=$1
-
-echo "(set-logic QF_UF)"
-echo "(declare-sort U 0)"
-
-i=1; while [ $i -le $N ]; do
-  echo "(declare-fun p_$i () U)"
-  let ++i
-done
-
-i=1; while [ $i -le $(($N-1)) ]; do
-  echo "(declare-fun h_$i () U)"
-  let ++i
-done
-
-i=1; while [ $i -le $(($N-1)) ]; do
-  j=$(($i+1)); while [ $j -le $N ]; do
-    echo "(assert (not (= p_$i p_$j)))"
-    let ++j
-  done
-  let ++i
-done
-
-i=1; while [ $i -le $N ]; do
-  echo -n "(assert (or"
-  j=1; while [ $j -le $(($N-1)) ]; do
-    echo -n " (= p_$i h_$j)"
-    let ++j
-  done
-  echo "))"
-  let ++i
-done
-
-echo "(check-sat)"