Closed stefan-aws closed 1 year ago
src/JSON/ZeroCopy/Deserializer.dfy and src/JSON/ZeroCopy/Serializer.dfy verified in 4.0, but not in 4.1. This PR fixes the issue.
src/JSON/ZeroCopy/Deserializer.dfy
src/JSON/ZeroCopy/Serializer.dfy
By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.
src/JSON/ZeroCopy/Deserializer.dfy
andsrc/JSON/ZeroCopy/Serializer.dfy
verified in 4.0, but not in 4.1. This PR fixes the issue.By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.