Skip to content

Fix formal verification#179

Merged
ChristopherRabotin merged 4 commits intomasterfrom
172-fix-formal-verification
Dec 2, 2022
Merged

Fix formal verification#179
ChristopherRabotin merged 4 commits intomasterfrom
172-fix-formal-verification

Conversation

@ChristopherRabotin
Copy link
Copy Markdown
Member

@ChristopherRabotin ChristopherRabotin commented Dec 1, 2022

TODO:

  • Actually fix the kani run
  • Add kani as artifacts for publishing in the documentation

Works on 0.14.1 locally

Signed-off-by: Christopher Rabotin <christopher.rabotin@gmail.com>
@codecov-commenter
Copy link
Copy Markdown

codecov-commenter commented Dec 1, 2022

Codecov Report

Base: 79.32% // Head: 79.32% // No change to project coverage 👍

Coverage data is based on head (dc9ab0e) compared to base (9c99695).
Patch has no changes to coverable lines.

Additional details and impacted files
@@           Coverage Diff           @@
##           master     #179   +/-   ##
=======================================
  Coverage   79.32%   79.32%           
=======================================
  Files           9        9           
  Lines        2588     2588           
=======================================
  Hits         2053     2053           
  Misses        535      535           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report at Codecov.
📢 Do you have feedback about the report comment? Let us know in this issue.

Signed-off-by: Christopher Rabotin <christopher.rabotin@gmail.com>
Signed-off-by: Christopher Rabotin <christopher.rabotin@gmail.com>
Signed-off-by: Christopher Rabotin <christopher.rabotin@gmail.com>
@ChristopherRabotin ChristopherRabotin merged commit 2e3b8ad into master Dec 2, 2022
@ChristopherRabotin ChristopherRabotin deleted the 172-fix-formal-verification branch December 2, 2022 01:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants