| 317 | return self.sizem + 'x' + self.sizen + 'x' + self.sizek + ':' + self.device + ', ' + self.function + ', ' + self.library + ', order(' + self.order + '), transa(' + self.transa + '), transb(' + self.transb + ') -- ' + self.label + '; ' + self.gflops + ' gflops' |
| 318 | |
| 319 | def open_file( filename ): |
| 320 | if type(filename) == list: |
| 321 | filename = filename[0] |
| 322 | if filename == None: |
| 323 | filename = 'results' + datetime.now().isoformat().replace(':','.') + '.txt' |
| 324 | else: |
| 325 | if os.path.isfile(filename): |
| 326 | oldname = filename |
| 327 | filename = filename + datetime.now().isoformat().replace(':','.') |
| 328 | message = 'A file with the name ' + oldname + ' already exists. Changing filename to ' + filename |
| 329 | print message |
| 330 | |
| 331 | return open(filename, 'w') |