You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
ifnotwith_tsanandnotwith_asanandnotwith_tapetests: # Sanitizer findings result in non-zero return code, no need to examine the output. Tapetest output is examined separately.
ifwith_tapetestsandself.enabled_with_tapetests: # examine the tapetest output
251
-
f=open(logfilename,'r')
252
-
output=f.readlines()
252
+
withopen(logfilename,'r')asf:
253
+
output=f.readlines()
253
254
ifnottimed_outandlen(self.tapetest_vals) !=0:
254
-
start_solver=False
255
+
tapetest_out=False
255
256
forlineinoutput:
256
-
ifnotstart_solver: # Don't bother parsing anything before "Total number of tape inconsistencies"; for consistency, we keep the "start_solver" boolean
257
+
ifnottapetest_out: # Don't bother parsing anything before "Total number of tape inconsistencies"
257
258
ifline.find('Total number of tape inconsistencies:') >-1:
258
-
start_solver=True
259
+
tapetest_out=True
259
260
raw_data=line.split(':') # Split line into description and the string representing the number of errors
260
261
data=raw_data[1].strip() # Clear the string representing the number of errors (for now, expecting a single integer, but zone-wise error numbers are planned)
0 commit comments