tests/run-tests.py
branchstable
changeset 975 98fa0fa48b7d
parent 971 87b7569d7404
child 977 a50ed14997fc
equal deleted inserted replaced
974:004f1f2dc06e 975:98fa0fa48b7d
   724             if answer.lower() in "y yes".split():
   724             if answer.lower() in "y yes".split():
   725                 if test.endswith(".t"):
   725                 if test.endswith(".t"):
   726                     rename(testpath + ".err", testpath)
   726                     rename(testpath + ".err", testpath)
   727                 else:
   727                 else:
   728                     rename(testpath + ".err", testpath + ".out")
   728                     rename(testpath + ".err", testpath + ".out")
       
   729                 result('p', test)
   729                 return
   730                 return
   730         result('f', (test, msg))
   731         result('f', (test, msg))
   731 
   732 
   732     def success():
   733     def success():
   733         result('p', test)
   734         result('p', test)