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 driver logic for PSS #1631

Closed
p-offtermatt opened this issue Feb 8, 2024 · 0 comments · Fixed by #1636
Closed

MBT: Add driver logic for PSS #1631

p-offtermatt opened this issue Feb 8, 2024 · 0 comments · Fixed by #1636
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

Problem

Prerequisite: #1574

We need to adjust the driver for handling traces generated by the PSS Quint model.
This needs some adjustments in the core driver logic.

Closing criteria

MBT tests pass on the PSS feature branch.
@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 labels Feb 8, 2024
@p-offtermatt p-offtermatt self-assigned this Feb 8, 2024
@p-offtermatt p-offtermatt mentioned this issue Feb 9, 2024
Merged
8 tasks
@p-offtermatt p-offtermatt linked a pull request Feb 12, 2024 that will close this issue
test: Add driver for PSS #1636
Merged
8 tasks
@mpoke mpoke closed this as completed Feb 19, 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
Cosmos Hub
Status: ✅ Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

test: Add driver for PSS cosmos/interchain-security
2 participants
@mpoke @p-offtermatt