INNER CODE UNIT · Python

unique_fuzz_file

stp/stp · scripts/fuzz/fuzz_test.py:72

def unique_fuzz_file(file_name_begin):
    counter = 1
    while 1:
        file_name = file_name_begin + '_' + str(counter) + ".smt2"
        try:
            fd = os.open(file_name, os.O_CREAT | os.O_EXCL)
            os.fdopen(fd).close()
            return file_name
        except OSError:
            pass
        counter += 1


class Tester:

    def __init__(self):
        self.cryptominisat_available = self.check_cryptominisat()

View source record →