File: upstream

package info (click to toggle)

spass 3.9-1.1

links: PTS, VCS
area: main
in suites: bookworm, bullseye, forky, sid, trixie
size: 3,632 kB
sloc: ansic: 59,216; yacc: 1,574; lex: 300; pascal: 158; makefile: 148; sh: 7

file content (11 lines) | stat: -rwxr-xr-x 169 bytes

#!/bin/sh

set -e

indir=${PWD}/debian/tests

for infile in ${indir}/*.dfg
do
    SPASS -PGiven=0 -PProblem=0 ${infile} | \
	grep -q "SPASS beiseite: Proof found."
done