def getTrackData (bname = None): filest = [] for root, dirs, files in os.walk(dir_path, topdown=False): for name in files: if (name.endswith (".smt2") or name.endswith(".smt") or name.endswith(".smt25")) and not name.startswith("."): filest.append(utils.TrackInstance(name,os.path.join (root,name))) return [utils.Track("petercpyexdoccav17tdpymongomongoclient",filest,bname)]
def getTrackData(bname=None): filest = [] for root, dirs, files in os.walk(dir_path, topdown=False): for name in files: if name.endswith(".smt2"): filest.append( utils.TrackInstance(name, os.path.join(root, name))) return [utils.Track("z3-regression", filest, bname)]
def getTrackData (bname = None): filest = [] for root, dirs, files in os.walk(dir_path, topdown=False): for name in files: if name.endswith (".smt2") and not name.startswith("."): filest.append(utils.TrackInstance(name,os.path.join (root,name))) return [utils.Track("groupStrings",filest,bname)]
def getTrackData (bname = None): filest = [] for root, dirs, files in os.walk(dir_path, topdown=False): for name in files: if (name.endswith (".smt2") or name.endswith(".smt") or name.endswith(".smt25")) and not name.startswith("."): filest.append(utils.TrackInstance(name,os.path.join (root,name))) return [utils.Track("fullstrintpyconbytez3seqQFSLIA25",filest,bname)]
def getTrackData(bname=None): filest = [] for root, dirs, files in os.walk(dir_path, topdown=False): for name in files: if (name.endswith(".smt2") or name.endswith(".smt") or name.endswith(".smt25")) and not name.startswith("."): filest.append( utils.TrackInstance(name, os.path.join(root, name))) return [utils.Track("validWordAbbreviation", filest, bname)]
def getTrackData(bname=None): filest = [] for root, dirs, files in os.walk(dir_path, topdown=False): for name in files: if (name.endswith(".smt2") or name.endswith(".smt") or name.endswith(".smt25")) and not name.startswith("."): filest.append( utils.TrackInstance(name, os.path.join(root, name))) return [utils.Track("sygusqgenqueriesnoreeQFS25", filest, bname)]
def getTrackData(bname=None): filest = [] for root, dirs, files in os.walk(dir_path, topdown=False): for name in files: if (name.endswith(".smt2") or name.endswith(".smt") or name.endswith(".smt25")) and not name.startswith("."): filest.append( utils.TrackInstance(name, os.path.join(root, name))) return [utils.Track("lengthOfLongestSubstringKDistinct", filest, bname)]
def getTrackData(bname=None): filest = [] for root, dirs, files in os.walk(dir_path, topdown=False): for name in files: if (name.endswith(".smt2") or name.endswith(".smt") or name.endswith(".smt25")) and not name.startswith("."): filest.append( utils.TrackInstance(name, os.path.join(root, name))) return [utils.Track("generatePossibleNextMoves", filest, bname)]