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

CERTS needs to do the base case first #545

Open
WhatisRT opened this issue Aug 15, 2024 · 0 comments · May be fixed by #604
Open

CERTS needs to do the base case first #545

WhatisRT opened this issue Aug 15, 2024 · 0 comments · May be fixed by #604
Assignees
@williamdemeo
Labels
bug Something isn't working conformance era: shelley
Milestone
Aug - Oct

Comments

@WhatisRT
Copy link
Collaborator

ReflexiveTransitiveClosure does the base case last, but it should be done first.
@WhatisRT WhatisRT added bug Something isn't working conformance era: shelley labels Aug 15, 2024
@WhatisRT WhatisRT added this to the Aug - Oct milestone Aug 15, 2024
@WhatisRT WhatisRT mentioned this issue Sep 13, 2024
Open
williamdemeo added a commit that referenced this issue Nov 4, 2024
@williamdemeo
CERTS should do the base case first
582851d 
This closes issue #545.
@williamdemeo williamdemeo linked a pull request Nov 4, 2024 that will close this issue
Open
4 tasks
@williamdemeo williamdemeo linked a pull request Nov 4, 2024 that will close this issue
CERTS should do the base case first #604
Open
4 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@williamdemeo williamdemeo

Labels
bug Something isn't working conformance era: shelley
Projects
Chang+1 Ledger Conformance Testing
Status: In Progress
Milestone
Aug - Oct
Development

Successfully merging a pull request may close this issue.

CERTS should do the base case first IntersectMBO/formal-ledger-specifications
2 participants
@WhatisRT @williamdemeo