src/HOL/Tools/ATP/testoutput.py
author paulson
Mon Oct 10 15:35:29 2005 +0200 (2005-10-10)
changeset 17819 1241e5d31d5b
parent 16089 9169bdf930f8
permissions -rwxr-xr-x
small tidy-up of utility functions
quigley@16048
     1
#!/usr/bin/python
quigley@16048
     2
quigley@16048
     3
import string
quigley@16048
     4
import sys
quigley@16048
     5
quigley@16048
     6
mode = 0
quigley@16048
     7
try:
quigley@16048
     8
  while 1:
quigley@16048
     9
    line = sys.stdin.readline()
quigley@16048
    10
    words = line.split()
quigley@16048
    11
    if len(words) > 0:
quigley@16048
    12
      if words[0] == "SPASS":
quigley@16048
    13
        mode = 1
quigley@16048
    14
    if line == '':
quigley@16048
    15
      break
quigley@16048
    16
    line = line[:-1]
quigley@16048
    17
    if mode == 1:
quigley@16048
    18
      print line
quigley@16048
    19
except:
quigley@16048
    20
  pass
quigley@16048
    21
#f.close()
quigley@16048
    22
quigley@16048
    23
sys.exit()
quigley@16048
    24