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.

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

Support Non-Strict Trace Checking #222

Merged
merged 3 commits into from
Jul 10, 2024

Conversation

DavePearce
Copy link
Collaborator

This updates the check command to support a command-line flag --warn which allows checking to continue even in the presence of unknown trace columns. Such columns are safe to ignore, since they aren't used in the schema. Furthermore, in practice cases, we are often running against traces which have more columns than the given schema (e.g. because some parts of the schema are commented out, etc).

This makes a small (but important) change to the alignment algorithm.
Specifically, it no longer reports an error if there are unknown columns
in the trace.  Instead, the caller is responsible for checking this and
reacting accordingly.  This enables the caller to continue if it so
wishes.
This adds the ability to override the default and reduce the level of
strictness when it comes to unknown columns in the trace.  Specifically,
with `--warn` the tool will continue with a warning when an unknown
trace column is encountered.
This tidies up the check command and improves the warnings.
@DavePearce DavePearce linked an issue Jul 10, 2024 that may be closed by this pull request
@DavePearce DavePearce merged commit 898742a into main Jul 10, 2024
2 checks passed
@DavePearce DavePearce deleted the 220-support-relaxed-trace-checking branch July 10, 2024 03:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Support "Relaxed" Trace Checking
1 participant