klara.scripts.py_check.__main__

module documentation
(source)

Undocumented

Function get_checker Undocumented
Function main Undocumented
Function parse_args Undocumented
Function print_time Undocumented
Function run Undocumented
Constant CHECKER_SELECT Undocumented
Constant MANAGER Undocumented
Function _add_html_group Undocumented
Function _add_require_group Undocumented
Function _add_result_printing_group Undocumented
def get_checker(args): (source)

Undocumented

def main(): (source)

Undocumented

def parse_args(args, namespace=None): (source)

Undocumented

def print_time(func): (source)

Undocumented

def run(args, output_stream=sys.stdout, error_stream=sys.stderr): (source)

Undocumented

CHECKER_SELECT = (source)

Undocumented

Value
{'fcf': fcf_solver, 'loop': loop_solver}
MANAGER = (source)

Undocumented

Value
manager.AstManager()
def _add_html_group(parser): (source)

Undocumented

def _add_require_group(parser): (source)

Undocumented

def _add_result_printing_group(parser): (source)

Undocumented