-
Notifications
You must be signed in to change notification settings - Fork 471
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Algod: Compcert msg into struct #3742
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
overall looks pretty good.
There are few things I think we should take into consideration
0af78ae
to
615bb47
Compare
Codecov Report
@@ Coverage Diff @@
## feature/stateproofs #3742 +/- ##
====================================================
Coverage 49.61% 49.61%
====================================================
Files 391 393 +2
Lines 68529 68621 +92
====================================================
+ Hits 33998 34047 +49
- Misses 30787 30826 +39
- Partials 3744 3748 +4
Continue to review full report at Codecov.
|
Summary
Test Plan