INNER CODE UNIT · Python

fuzz_test

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

    def fuzz_test(self):
        fuzzers = [["fuzzsmt", "./fuzzsmt QF_ABV"]]

        directory = "../../../"
        for fuzzer in fuzzers:
            file_name = unique_fuzz_file("fuzzTest")

            # create the fuzz file
            call = self.callFromFuzzer(directory, fuzzer, file_name)
            print("calling ", fuzzer, " : ", call)
            out = subprocess.getstatusoutput(call)

            # check file
            self.check(fname=file_name, needToLimitTime=True)

            # remove temporary filenames
            os.unlink(file_name)

View source record →