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

Add key assignment logic to Quint model #1515

Closed
Tracked by #1087
mpoke opened this issue Dec 15, 2023 · 0 comments · Fixed by #1573
Closed
Tracked by #1087

Add key assignment logic to Quint model #1515

mpoke opened this issue Dec 15, 2023 · 0 comments · 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. type: feature-request New feature or request improvement

Comments

@mpoke
Copy link
Contributor

mpoke commented Dec 15, 2023

Problem

The Quint model doesn't have the key assignment logic. This makes it difficult to test the protocol.

Closing criteria

Key assignment is added to the Quint model.
@mpoke mpoke added the type: feature-request New feature or request improvement label Dec 15, 2023
@mpoke mpoke added this to Cosmos Hub Dec 15, 2023
@github-project-automation github-project-automation bot moved this to 🩹 F1: Triage in Cosmos Hub Dec 15, 2023
@mpoke mpoke moved this from 🩹 F1: Triage to 📥 F2: Todo in Cosmos Hub Dec 15, 2023
@mpoke mpoke added scope: testing Code review, testing, making sure the code is following the specification. scope: MBT model based testing labels Dec 15, 2023
@mpoke mpoke mentioned this issue Dec 15, 2023
Closed
2 tasks
@p-offtermatt p-offtermatt moved this from 📥 F2: Todo to 🛑 F3: OnHold in Cosmos Hub Jan 8, 2024
@p-offtermatt p-offtermatt moved this from 🛑 F3: OnHold to 🏗 F3: InProgress in Cosmos Hub Jan 8, 2024
@p-offtermatt p-offtermatt moved this from 🏗 F3: InProgress to 👀 F3: InReview in Cosmos Hub Jan 25, 2024
@p-offtermatt p-offtermatt mentioned this issue Jan 25, 2024
Closed
@p-offtermatt p-offtermatt linked a pull request Jan 25, 2024 that will close this issue
test: add key assignment to model and driver #1573
Merged
8 tasks
@p-offtermatt p-offtermatt added the S: Productivity Productivity: Developer tooling, infrastructure improvements enabling future growth label Jan 25, 2024
@github-project-automation github-project-automation bot moved this from 👀 F3: InReview to 👍 F4: Assessment in Cosmos Hub Jan 29, 2024
@mpoke mpoke moved this from 👍 F4: Assessment to ✅ Done in Cosmos Hub Feb 1, 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. type: feature-request New feature or request improvement
Projects
Cosmos Hub
Status: ✅ Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

test: add key assignment to model and driver cosmos/interchain-security
2 participants
@mpoke @p-offtermatt