Changeset 994 for tester


Ignore:
Timestamp:
07/09/20 13:51:28 (4 years ago)
Author:
Maciej Komosinski
Message:

Cosmetic

Location:
tester
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • tester/comparison.py

    r987 r994  
    2525                try:
    2626                        fin = open(os.path.join(globals.THISDIR, name))  # first we look for the file with the specialized name (platform-dependent)...
    27                 except IOError:
    28                         fin = open(os.path.join(globals.THISDIR, file_name + ".goal"))  # ...if there is no such file, we try to find the default file
     27                except IOError as e1:
     28                        try:
     29                                fin = open(os.path.join(globals.THISDIR, file_name + ".goal"))  # ...if there is no such file, we try to find the default file
     30                        except IOError as e2:
     31                                print()
     32                                print(e1)
     33                                print(e2)
     34                                print('Proceeding as if the missing file were empty.')
     35                                return []
    2936                list_of_lines = []
    3037                for line in fin:
  • tester/tester.py

    r987 r994  
    9494                        failed_result_filename = '_test'
    9595                f = open(os.path.join(globals.THISDIR, failed_result_filename + '.Failed-output'), 'w')  # files are easier to compare than stdout
    96                 print('\n'.join(jest), end="", file=f)
     96                print('\n'.join(jest)+'\n', end="", file=f) # not sure why one last empty line is always lost (or one too much is expected?), adding here...
    9797                f = open(os.path.join(globals.THISDIR, failed_result_filename + '.Failed-goal'), 'w')  # files are easier to compare than stdout
    9898                print('\n'.join(goal), end="", file=f)
Note: See TracChangeset for help on using the changeset viewer.