Python Options.setCommandLineOptionsの例

コード例 #1

ファイル: ClaferRun.py プロジェクト: srenatus/ClaferSMT

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

コード例 #2

ファイル: ClaferRun.py プロジェクト: gsdlab/ClaferSMT

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