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

MBT: Add epochs #1669

Closed
Tracked by #1516
p-offtermatt opened this issue Feb 29, 2024 · 0 comments
Closed
Tracked by #1516

MBT: Add epochs #1669

p-offtermatt opened this issue Feb 29, 2024 · 0 comments
Assignees
@p-offtermatt
Labels
scope: MBT model based testing scope: testing Code review, testing, making sure the code is following the specification.

Comments

@p-offtermatt
Copy link
Contributor

This is an issue that tracks the progress on adding epochs to MBT:
https://github.com/cosmos/interchain-security/blob/main/docs/docs/adrs/adr-014-epochs.md

Several main tasks should be done:

  • Adjust the Quint model to include the feature
  • Add tests in Quint to test the feature
  • Make sure that the generated traces use the feature in non-trivial ways (or add new generation methods, i.e. invariants, that do)
  • Expand the driver to understand/utilize the new feature
@p-offtermatt p-offtermatt self-assigned this Feb 29, 2024
@p-offtermatt p-offtermatt converted this from a draft issue Feb 29, 2024
@github-actions github-actions bot added the status: waiting-triage This issue/PR has not yet been triaged by the team. label Feb 29, 2024
This was referenced Feb 29, 2024
Closed
Merged
@p-offtermatt p-offtermatt moved this from 🏗 F3: InProgress to 👀 F3: InReview in Cosmos Hub Mar 4, 2024
@p-offtermatt p-offtermatt added scope: testing Code review, testing, making sure the code is following the specification. scope: MBT model based testing and removed status: waiting-triage This issue/PR has not yet been triaged by the team. labels Mar 4, 2024
@github-project-automation github-project-automation bot moved this from 👀 F3: InReview to 👍 F4: Assessment in Cosmos Hub Mar 12, 2024
@mpoke mpoke moved this from 👍 F4: Assessment to ✅ Done in Cosmos Hub Mar 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@p-offtermatt p-offtermatt

Labels
scope: MBT model based testing scope: testing Code review, testing, making sure the code is following the specification.
Projects
Cosmos Hub
Status: ✅ Done
Milestone
No milestone
Development

No branches or pull requests
2 participants
@insumity @p-offtermatt