File: lata

package info (click to toggle)
frobby 0.9.6-1~exp1
  • links: PTS, VCS
  • area: main
  • in suites:
  • size: 11,616 kB
  • sloc: cpp: 30,134; sh: 1,184; makefile: 306; ansic: 102; lisp: 10
file content (16 lines) | stat: -rwxr-xr-x 385 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
#!/bin/bash
file=$1
shift

fti2=../4ti2/4ti2gmp.exe
frobby=../bin/frobby

./frobgrob $file 2> /dev/null > /dev/null

cat $file.out.gro $file.out.lat|$frobby lata 2>/dev/null > /dev/null
f=$?

if [ $f == 2 ]; then echo "not generic"; exit 0; fi
if [ $f != 0 ]; then echo "found counterexample"; cat $file.out.gro $file.out.lat|$frobby lata > $file.ana; exit $f; fi
echo generic
exit 0;