This pull request reverts to loading xml file directly from the file instead of reading the file into a string and patching the string before parsing it. The patch appears no longer to be needed since cbmc appears no longer to insert illegal characters into its xml output.
This pull request also reverts to raising an exception when viewer can't load an xml or json file.
This pull request also cleans up some top-level Makefile targets.
This pull request should be read commit-by-commit, as the commits themselves are small and the commit messages explain what is going on.
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 reverts to loading xml file directly from the file instead of reading the file into a string and patching the string before parsing it. The patch appears no longer to be needed since cbmc appears no longer to insert illegal characters into its xml output.
This pull request also reverts to raising an exception when viewer can't load an xml or json file.
This pull request also cleans up some top-level Makefile targets.
This pull request should be read commit-by-commit, as the commits themselves are small and the commit messages explain what is going on.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.