[minisat+] 06/06: add package test

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository minisat+.

commit 10b676cc5568b7af5945ff88d54ceae6907cb1b2
Author: Ralf Treinen <treinen at free.fr>
Date:   Mon Dec 19 08:07:04 2016 +0100

    add package test
---
 debian/changelog      |  3 ++-
 debian/tests/control  |  1 +
 debian/tests/upstream | 15 +++++++++++++++
 3 files changed, 18 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 65a014d..20e4070 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -7,8 +7,9 @@ minisat+ (1.0-3) unstable; urgency=medium
     - bump build-dependency on debhelper
   * Vcs-{Git,Browser}: secure URI
   * patch spelling: fix typo in help text
+  * add as-installed package test
 
- -- Ralf Treinen <treinen at debian.org>  Mon, 19 Dec 2016 07:31:53 +0100
+ -- Ralf Treinen <treinen at debian.org>  Mon, 19 Dec 2016 08:06:16 +0100
 
 minisat+ (1.0-2) unstable; urgency=low
 
diff --git a/debian/tests/control b/debian/tests/control
new file mode 100644
index 0000000..f08221c
--- /dev/null
+++ b/debian/tests/control
@@ -0,0 +1 @@
+Tests: upstream
diff --git a/debian/tests/upstream b/debian/tests/upstream
new file mode 100755
index 0000000..4cfdfa5
--- /dev/null
+++ b/debian/tests/upstream
@@ -0,0 +1,15 @@
+#!/bin/sh
+
+set -e
+
+indir=Examples
+satisfiables="garden9x9.opb stein27_bignum.opb"
+unsatisfiables=unsat.opb
+
+for f in ${satisfiables}; do
+    minisat+ -of ${indir}/$f | grep  -q "s OPTIMUM FOUND"
+done
+
+for f in ${unsatisfiables}; do
+    minisat+ -of ${indir}/$f | grep  -q "s UNSATISFIABLE"
+done

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/minisat+.git