Closed markrtuttle closed 2 years ago
Advancing major version since command interface has changes (make-* utility functions are now subcommands of cbmc-viewer).
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
Advancing major version since command interface has changes (make-* utility functions are now subcommands of cbmc-viewer).
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.