INNER CODE UNIT · Python

diffTime

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

        diffTime = time.time() - currTime
        if diffTime > maxTime-maxTimeDiff:
            print("Other solver: too much time to solve, aborted!")
            return None

        # extract output from the other solver
        print("Checking other solver output...")
        (otherSolverUNSAT, otherSolverValue) = self.parse_solution_from_output(consoleOutput2.split("\n"))

        # check if the other solver agrees with us
        return otherSolverUNSAT

    def check_cryptominisat(self):
        command = options.solver
        command += " -h"
        if options.verbose:
            print("Running: %s" % command)
        p = subprocess.Popen(command.rsplit(), stdout=subprocess.PIPE,

View source record →