src/HOL/Tools/ATP/testoutput.py
author paulson
Wed, 12 Oct 2005 10:49:07 +0200
changeset 17841 b1f10b98430d
parent 16089 9169bdf930f8
permissions -rwxr-xr-x
tidying

#!/usr/bin/python

import string
import sys

mode = 0
try:
  while 1:
    line = sys.stdin.readline()
    words = line.split()
    if len(words) > 0:
      if words[0] == "SPASS":
        mode = 1
    if line == '':
      break
    line = line[:-1]
    if mode == 1:
      print line
except:
  pass
#f.close()

sys.exit()