X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Frtests%2Fnegative%2Frun_negative;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Frtests%2Fnegative%2Frun_negative;h=0000000000000000000000000000000000000000;hp=3c58a4ef851a2f98d8e4fd8630c88f527e2dafa5;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/DEVEL/pxp/pxp/rtests/negative/run_negative b/helm/DEVEL/pxp/pxp/rtests/negative/run_negative
deleted file mode 100755
index 3c58a4ef8..000000000
--- a/helm/DEVEL/pxp/pxp/rtests/negative/run_negative
+++ /dev/null
@@ -1,117 +0,0 @@
-#! /bin/bash
-
-# $Id$
-
-
-t=./test_negative
-
-init_test () {
-    # $1: Options for test_negative
-    # $2: Path to test record
-    options="$1"
-    input="$2"
-    output=`dirname $input`/`basename $input .xml`.out
-    if  [ -f "$output" ]; then
-	echo "Test $input already initialized; skipping"
-    else
-	$t $options "$input" >"$output"
-	echo Test $input initialized.
-    fi
-}
-
-
-check_test () {
-    # $1: Options for test_negative
-    # $2: Path to test record
-    options="$1"
-    input="$2"
-    output=`dirname $input`/`basename $input .xml`.out
-    $t $options "$input" >current.out
-    if [ -f "$output" ]; then
-	if cmp "$output" current.out; then
-	    echo Test $input OK
-	else
-	    echo Test $input FAILED!!!
-	fi
-    else
-	echo Test $input still uninitialized
-	echo - OUTPUT:
-	cat current.out
-    fi
-}
-
-
-for_directory () {
-    what="$1"
-    shift
-    options="$1"
-    shift
-    while [ $# -gt 0 ]; do
-	input="$1"
-	shift
-	if [ -f "$input" ]; then
-	    $what "$options" "$input"
-	else
-	    if [ -d "$input" ]; then
-		for ent in $input/*.xml; do
-		    for_directory $what "$options" $ent
-		done
-	    else
-		echo "Not found: $input" >&2
-	    fi
-	fi
-    done
-}
-
-
-usage () {
-    cat <<EOF >&2
-usage: $0 [ -init -wf ] file ... dir ...
-EOF
-    exit 1
-}
-
-
-action="check_test"
-options=""
-while true; do
-    case "x$1" in
-	x-init)
-	    action="init_test"
-	    shift
-	    ;;
-	x-wf)
-	    options="$options -wf"
-	    shift
-	    ;;
-	x-*)
-	    usage
-	    ;;
-	*)
-	    break
-	    ;;
-    esac
-done
-
-
-if [ $# -gt 0 ]; then
-    for_directory $action "$options" "$@"
-else
-    for_directory $action -wf \
-	data_jclark_notwf/ext-sa data_jclark_notwf/not-sa data_jclark_notwf/sa \
-	data_notwf/sa
-    for_directory $action "" \
-	data_jclark_invalid data_invalid
-fi
-
-# ======================================================================
-# $Log$
-# Revision 1.1  2000/11/17 09:57:33  lpadovan
-# Initial revision
-#
-# Revision 1.2  2000/05/01 16:23:39  gerd
-# 	Added data_invalid.
-#
-# Revision 1.1  2000/05/01 15:58:50  gerd
-# 	Initial revision.
-#