Searched refs:ADVERT (Results 1 – 1 of 1) sorted by relevance
41 ADVERT = '; NOTE: Assertions have been autogenerated by ' variable282 autogenerated_note = (ADVERT + 'utils/' + os.path.basename(__file__))373 if input_line.startswith(ADVERT):