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
     1 #!/usr/bin/python
     2 
     3 import string
     4 import sys
     5 
     6 mode = 0
     7 try:
     8   while 1:
     9     line = sys.stdin.readline()
    10     words = line.split()
    11     if len(words) > 0:
    12       if words[0] == "SPASS":
    13         mode = 1
    14     if line == '':
    15       break
    16     line = line[:-1]
    17     if mode == 1:
    18       print line
    19 except:
    20   pass
    21 #f.close()
    22 
    23 sys.exit()
    24