[go: up one dir, main page]

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 parent folder | download
1
2
3
4
5
6
7
8
9
10
11
#!/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