INNER CODE UNIT · Python

format_description

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

    def format_description(self, description):
        if description:
            return description + "\n"
        else:
            return ""

usage = "usage: %prog [options] --fuzz"
desc = """Example usages:

* fuzz the solver with fuzz-generator
   ./fuzz_test.py -f
"""

parser = optparse.OptionParser(usage=usage, description=desc, formatter=PlainHelpFormatter())
parser.add_option("--exec", metavar="SOLVER", dest="solver",
                  default="../../build/stp",
                  help="STP executable. Default: %default")
parser.add_option("--check", metavar="CHECKER", dest="checker",

View source record →