Python Options.setCommandLineOptions Examples

Example #1

File: ClaferRun.py Project: srenatus/ClaferSMT

def main():
    Options.setCommandLineOptions()
    if Options.CPROFILING:
        cProfile.run("run(sys.argv[1:])", sort=1)
    else:
        run(sys.argv[1:])

Example #2

File: ClaferRun.py Project: gsdlab/ClaferSMT

def main():
    Options.setCommandLineOptions()
    if Options.CPROFILING:
        cProfile.run("run(sys.argv[1:])", sort=1)
    else:
        run(sys.argv[1:])