Skip to content
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.

Sign up for GitHub

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

Jump to bottom

test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs #18

Merged
merged 9 commits into from
Nov 15, 2023
Merged

test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs #18

merged 9 commits into from
Nov 15, 2023

Conversation

romac
Copy link
Member

@romac romac commented Oct 25, 2023

See #13

@codecov
Copy link

codecov bot commented Oct 25, 2023 •
edited
Loading

Codecov Report

Attention: 1 lines in your changes are missing coverage. Please review.

Comparison is base (d39e933) 86.68% compared to head (9d540e8) 87.29%.

Files Patch % Lines
Code/itf/src/deserializers.rs 97.37% 1 Missing ⚠️
Additional details and impacted files 
@@            Coverage Diff             @@
##             main      #18      +/-   ##
==========================================
+ Coverage   86.68%   87.29%   +0.61%     
==========================================
  Files          27       30       +3     
  Lines        1186     1251      +65     
==========================================
+ Hits         1028     1092      +64     
- Misses        158      159       +1

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@romac romac force-pushed the romac/itf branch 2 times, most recently from 6d6dea4 to 6a1edd6 Compare October 25, 2023 17:35
@romac romac mentioned this pull request Oct 27, 2023
Closed
18 tasks
@adizere adizere changed the title WIP: Deserialize ITF traces emitted by consensus Quint spec testing: Deserialize ITF traces emitted by consensus Quint spec Oct 28, 2023
@romac romac added the work in progress Work in progress label Nov 1, 2023
This was referenced Nov 7, 2023
Closed
Closed
Open
Base automatically changed from romac/rust-state-machine to main November 8, 2023 07:36
@romac romac changed the title testing: Deserialize ITF traces emitted by consensus Quint spec test: Deserialize ITF traces emitted by consensus Quint spec Nov 8, 2023
@romac romac changed the title test: Deserialize ITF traces emitted by consensus Quint spec test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Nov 10, 2023
@hvanz hvanz mentioned this pull request Nov 14, 2023
Merged
@romac romac marked this pull request as ready for review November 15, 2023 11:09
@romac romac merged commit 7caef15 into main Nov 15, 2023
8 checks passed
@romac romac deleted the romac/itf branch November 15, 2023 11:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
work in progress Work in progress
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@romac