chc.cmdline.juliet.julietutil module

Implementation of juliet commands in the CLI.

chc.cmdline.juliet.julietutil.analyze_test(testdata: Tuple[str, str, int]) → int

CLI command to run a juliet test case.

Note: this function needs to be global for multiprocessing to work.

chc.cmdline.juliet.julietutil.juliet_analyze(args: argparse.Namespace) → NoReturn

Analyzes a single juliet test.

chc.cmdline.juliet.julietutil.juliet_analyze_sets(args: argparse.Namespace) → NoReturn

Analyzes all or a subset of the registered juliet tests.

chc.cmdline.juliet.julietutil.juliet_check_config(args: argparse.Namespace) → NoReturn

chc.cmdline.juliet.julietutil.juliet_convert(args: argparse.Namespace) → NoReturn

Converts a juliet tar.gz semantics file into new format.

chc.cmdline.juliet.julietutil.juliet_dashboard(args: argparse.Namespace) → NoReturn

chc.cmdline.juliet.julietutil.juliet_investigate(args: argparse.Namespace) → NoReturn

Lists problematic proof obligations.

chc.cmdline.juliet.julietutil.juliet_list(args: argparse.Namespace) → NoReturn

Prints out the list of juliet tests available in the configured repo.

chc.cmdline.juliet.julietutil.juliet_project_dashboard(args: argparse.Namespace) → NoReturn

chc.cmdline.juliet.julietutil.juliet_report(args: argparse.Namespace) → NoReturn

Reports on a single juliet test.

chc.cmdline.juliet.julietutil.juliet_report_file(args: argparse.Namespace) → NoReturn

Rerports on a single c file within a juliet test.

chc.cmdline.juliet.julietutil.juliet_report_requests(args: argparse.Namespace) → NoReturn

Outputs open requests for postconditions and global assumptions.

chc.cmdline.juliet.julietutil.juliet_score(args: argparse.Namespace) → NoReturn

Prints out (and saves) the score for a single juliet test.

chc.cmdline.juliet.julietutil.juliet_score_sets(args: argparse.Namespace) → NoReturn

Scores all or a subset of the registered juliet tests.

chc.cmdline.juliet.julietutil.print_error(m: str) → None

chc.cmdline.juliet.julietutil.score_test(testdata: Tuple[str, str, int]) → int

CLI command to score a juliet test case.

Note: this function needs to be global for multiprocessing to work.

chc.cmdline.juliet.julietutil.set_logging(level: str, path: str, logfilename: Optional[str], msg: str = '', mode: str = 'a') → None

chc.cmdline.juliet.julietutil.timing(activity: str) → Generator