INNER CODE UNIT · Python

check_cryptominisat

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

    def check_cryptominisat(self):
        command = options.solver
        command += " -h"
        if options.verbose:
            print("Running: %s" % command)
        p = subprocess.Popen(command.rsplit(), stdout=subprocess.PIPE,
                             universal_newlines=True, preexec_fn=setlimits)
        consoleOutput, _ = p.communicate()
        for line in consoleOutput.split("\n"):
            if "cryptominisat" in line:
                return True
        return False

    def check(self, fname, fnameSolution=None, needSolve=True, needToLimitTime=False):
        currTime = time.time()

        # Do we need to solve the problem, or is it already solved?
        if needSolve:

View source record →