INNER CODE UNIT · Python

Tester

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

class Tester:

    def __init__(self):
        self.cryptominisat_available = self.check_cryptominisat()

    def random_options(self):
        cmd = " "
        # opts = ["--disable-simplifications", "-w", "-a", "--disable-cbitp"
        # , "--disable-equality", "-r", "--oldstyle-refinement"]

        # print options
        # --print-back-CVC", "--print-back-SMTLIB2"
        # --print-back-GDL", "--print-back-dot"
        # -p (COUNTEREXAMPLE), -s (STATS), -t (quick stats), -v (notes), -y (counterexample in binary)
        # -b (print back input to output)

        # input options
        # , "--SMTLIB1", "-m", "--SMTLIB2"

View source record →