Skip to content

Conversation

kroening
Copy link
Member

This adds the grammar rules for the first_match operator with sequence match items. The operator is still unsupported.

This adds the grammar rules for the first_match operator with sequence match
items.  The operator is still unsupported.
@kroening kroening marked this pull request as ready for review October 13, 2024 18:44
@tautschnig tautschnig merged commit c598ef7 into main Oct 14, 2024
8 checks passed
@tautschnig tautschnig deleted the sequence_match_item branch October 14, 2024 08:03
Romy15200 pushed a commit to Romy15200/nws that referenced this pull request Aug 19, 2025
SVA: add grammar for `first_match` with `sequence_match_item`
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants