Closed markrtuttle closed 2 years ago
This pull request adds a unit test illustrating the fix in https://github.com/awslabs/aws-viewer-for-cbmc/pull/76
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
This branch should have been rebased against main (a single commit).
This pull request adds a unit test illustrating the fix in https://github.com/awslabs/aws-viewer-for-cbmc/pull/76
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.