cbmc_viewer/make_coverage.py [29:49]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
        nargs='*',
        help="""
        An xml or json file containing the output of 'cbmc --location cover'.
        Merge the coverage data if more than one file is given.
        Do not mix xml and json files.
        """
    )

    optionst.log(parser)

    return parser

################################################################

def main():
    """List CBMC coverage checking results."""

    args = create_parser().parse_args()
    args = optionst.defaults(args)

    try:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



cbmc_viewer/make_trace.py [29:49]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
        nargs='*',
        help="""
        An xml or json file containing the output of cbmc property checking.
        Merge the traces if more than one file is given.
        Do not mix xml and json files.
        """
    )

    optionst.log(parser)

    return parser

################################################################

def main():
    """List CBMC error traces."""

    args = create_parser().parse_args()
    args = optionst.defaults(args)

    try:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -