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
Open

CERTS needs to do the base case first #545

WhatisRT opened this issue Aug 15, 2024 · 0 comments
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.
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

When branches are created from issues, their pull requests are automatically linked.

refs/heads/545-certs-base-case-first IntersectMBO/formal-ledger-specifications
2 participants
@WhatisRT @williamdemeo