cbmc_viewer/make_property.py [30:49]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
        nargs='*',
        help="""
        One or more files containing the xml or json output of
        'cbmc --show-properties'.  Do not mix xml and json files.
        """
    )

    optionst.log(parser)

    return parser

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

def main():
    """Properties checked by CBMC during property checking."""

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

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



cbmc_viewer/make_result.py [26:48]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
        nargs='*',
        help="""
        One or more files containing the output of cbmc property checking
        as text, xml, or json.
        Multiple files will be merged into a single list of
        property checking results.
        Do not mix text, xml, and json files.
        """
    )

    optionst.log(parser)

    return parser

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

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

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

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