This pull request replaces the utility commands like make-trace viewer subcommands like cbmc-viewer trace.
This pull request performs three transformations:
The first six commits modify that make- commands to invoke the make_ methods with the full dict args in preparation for the view subcommands setting args.func to the make_* method and invoking args.func(args). In some cases this requires replacing the position argument like result.xml with an option argument like --result result.xml consistent with viewer.
The next three commits modify the regression testing tool difference.py to test the utility commands make-* in addition to viewer itself.
The final three commits implement the subcommands. We now define one dict OPTIONS that describes all possible optional arguments, define one dict SUBPARSERS that describes the subcommands and the flags in OPTIONS they need, and pass this all to a single, uniform create_parser method. One commit removes the make- commands and one commit modifies difference.py to test the make- functionality using subcommands.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
This pull request replaces the utility commands like
make-trace
viewer subcommands likecbmc-viewer trace
.This pull request performs three transformations:
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.