Python coqd_main示例

编程语言: Python

命名空间/包名称: coqd.runner

方法/功能: coqd_main

hotexamples.com的示例: 2

Python coqd_main - 已找到2个示例。这些是从开源项目中提取的最受好评的coqd.runner.coqd_main现实Python示例。您可以评价示例，以帮助我们提高示例质量。

示例#1

显示文件

文件： manager.py 项目： htquach/Cockerel

def runcoqd(serialize):
    coqd_main()

示例#2

显示文件

文件： manager.py 项目： dcolish/Cockerel

def runcoqd(modules, serialize):
    coqd_main(modules, serialize)