This commit has the effect of doubling the number of C symbols since
the list now includes fully-qualified symbols like function::1::x that
denotes local variable x in scope 1 of function. But this doesn't
change the html generated by viewer for C code.
This commit has the effect of doubling the number of C symbols since the list now includes fully-qualified symbols like function::1::x that denotes local variable x in scope 1 of function. But this doesn't change the html generated by viewer for C code.
Proposing this pull request in favor of https://github.com/awslabs/aws-viewer-for-cbmc/pull/42
Issue #, if available:
Description of changes:
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.