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

Support "Relaxed" Trace Checking #220

Closed
DavePearce opened this issue Jul 10, 2024 · 0 comments · Fixed by #222
Closed

Support "Relaxed" Trace Checking #220

DavePearce opened this issue Jul 10, 2024 · 0 comments · Fixed by #222
Assignees
@DavePearce
Labels
enhancement New feature or request

Comments

@DavePearce
Copy link
Collaborator

At the moment, there is an issue that alignment will fail if there are unknown columns. However, this is overly strict for testing, and we might want to support e.g. --relaxed to indicate we are happy to be relaxed about unknown columns. Perhaps it can just emit a warning instead. Or, alignment could always succeed and we perform this check elsewhere.
@DavePearce DavePearce self-assigned this Jul 10, 2024
@DavePearce DavePearce added the enhancement New feature or request label Jul 10, 2024
@DavePearce DavePearce linked a pull request Jul 10, 2024 that will close this issue
Support Non-Strict Trace Checking #222
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@DavePearce DavePearce

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Support Non-Strict Trace Checking Consensys/go-corset
1 participant
@DavePearce