src/HOL/Tools/ATP/testoutput.py
author wenzelm
Mon, 29 Aug 2005 16:18:04 +0200
changeset 17184 3d80209e9a53
parent 16089 9169bdf930f8
permissions -rwxr-xr-x
use AList operations;

#!/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()