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

Cover state transitions with tests #1

Open
fyrchik opened this issue Nov 24, 2019 · 0 comments
Open

Cover state transitions with tests #1

fyrchik opened this issue Nov 24, 2019 · 0 comments
Labels
feature Completely new functionality I4 No visible changes S2 Regular significance test Unit tests U4 Nothing urgent

Comments

@fyrchik
Copy link
Contributor

fyrchik commented Nov 24, 2019

Examples are here https://github.com/neo-project/neo/tree/master/neo.UnitTests/Consensus .
@fyrchik fyrchik mentioned this issue Dec 2, 2019
Merged
roman-khimov added a commit that referenced this issue Mar 14, 2023
@roman-khimov
Merge pull request #1 from AnnaShaleva/remote/tla-models-2
39e3e95 
models: add dBFT 2.1 models
@roman-khimov roman-khimov added U4 Nothing urgent S2 Regular significance I4 No visible changes feature Completely new functionality test Unit tests labels Dec 20, 2023
@roman-khimov roman-khimov mentioned this issue Apr 1, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
feature Completely new functionality I4 No visible changes S2 Regular significance test Unit tests U4 Nothing urgent
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@fyrchik @roman-khimov