INNER CODE UNIT · Python

setlimits

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

def setlimits():
    resource.setrlimit(resource.RLIMIT_CPU, (maxTime, maxTime))


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:

View source record →