INNER CODE UNIT · Python

random_options

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

    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"

        # output options
        # --output-CNF --exit-after-CNF
        opts = ["--disable-simplifications", "-w", "-a", "--disable-cbitp",
                "--disable-equality",

View source record →