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 key assignment #1529

Closed
Tracked by #1528
p-offtermatt opened this issue Dec 20, 2023 · 1 comment · Fixed by #1573
Closed
Tracked by #1528

MBT: Add key assignment #1529

p-offtermatt opened this issue Dec 20, 2023 · 1 comment · Fixed by #1573
Assignees
@p-offtermatt
Labels
S: Productivity Productivity: Developer tooling, infrastructure improvements enabling future growth scope: MBT model based testing scope: testing Code review, testing, making sure the code is following the specification.

Comments

@p-offtermatt
Copy link
Contributor

p-offtermatt commented Dec 20, 2023 •
edited
Loading

This is an issue that tracks the progress on adding key assignment: https://cosmos.github.io/interchain-security/features/key-assignment

Several main tasks should be done:

  1. Adjust the Quint model to include the feature
  2. Add tests in Quint to test the feature
  3. Make sure that the generated traces use the feature in non-trivial ways (or add new generation methods, i.e. invariants, that do)
  4. Expand the driver to understand/utilize the new feature
@p-offtermatt p-offtermatt mentioned this issue Dec 20, 2023
Closed
@github-project-automation github-project-automation bot moved this to 🩹 F1: Triage in Cosmos Hub Dec 20, 2023
@github-actions github-actions bot added the status: waiting-triage This issue/PR has not yet been triaged by the team. label Dec 20, 2023
@p-offtermatt p-offtermatt self-assigned this Dec 20, 2023
@p-offtermatt p-offtermatt added scope: testing Code review, testing, making sure the code is following the specification. scope: MBT model based testing S: Productivity Productivity: Developer tooling, infrastructure improvements enabling future growth and removed status: waiting-triage This issue/PR has not yet been triaged by the team. labels Dec 20, 2023
@p-offtermatt p-offtermatt moved this from 🩹 F1: Triage to 📥 F2: Todo in Cosmos Hub Dec 20, 2023
@p-offtermatt p-offtermatt mentioned this issue Jan 19, 2024
Merged
8 tasks
@p-offtermatt
Copy link
Contributor Author

Closed, duplicate of #1515

@p-offtermatt p-offtermatt closed this as not planned Won't fix, can't repro, duplicate, stale Jan 25, 2024
@github-project-automation github-project-automation bot moved this from 📥 F2: Todo to 👍 F4: Assessment in Cosmos Hub Jan 25, 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
S: Productivity Productivity: Developer tooling, infrastructure improvements enabling future growth scope: MBT model based testing scope: testing Code review, testing, making sure the code is following the specification.
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

test: add key assignment to model and driver cosmos/interchain-security
1 participant
@p-offtermatt