INNER CODE UNIT · Python

_check_solver_exists

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

    def _check_solver_exists(self):
        if os.path.isfile(options.solver) is not True:
            print("Error: Cannot find STP executable. Searched in: '%s'" % options.solver)
            print("Error code 300")
            exit(300)

    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

View source record →