Describe Kani's current behavior and how your code changes that behavior. If there are no issues this PR is resolving, explain why this change is necessary.
Resolves #ISSUE-NUMBER
Optional #ISSUE-NUMBER.
-
How is this change tested?
-
Is this a refactor change?
- Each commit message has a non-empty body, explaining why the change was made
- Methods or procedures are documented
- Regression or unit tests are included, or existing tests cover the modified code
- My PR is restricted to a single feature or bugfix
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.