INNER CODE UNIT · Python

execute

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

    def execute(self, fname, needToLimitTime=False):
        self._check_solver_exists()

        # construct command
        command = ""
        if not options.novalgrind and random.randint(0, 10) == 0:
            command += "valgrind -q --leak-check=full --track-origins=yes  --error-exitcode=173 "

        command += options.solver
        command += self.random_options()
        command += "-p "  # yes, print counterexample

        command += options.extra_options + " "
        command += fname
        print("Executing: %s " % command)

        # print time limit
        if options.verbose:

View source record →