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

Skip sections #65

Merged

virtuald merged 2 commits into main from skip-sections

Sep 10, 2023

Member

virtuald commented Sep 10, 2023

Provide mechanism to skip entire blocks

Simplifies usage of visitor logic considerably
Add null_visitor to help with this


          Fix gentest pcpp option

56278ab

virtuald force-pushed the skip-sections branch 3 times, most recently from d9cfa02 to 129947b Compare

September 10, 2023 03:00


          Provide mechanism to skip entire blocks

8e2d990

- Simplifies usage of visitor logic considerably
- Add null_visitor to help with this

virtuald force-pushed the skip-sections branch from 129947b to 8e2d990 Compare

September 10, 2023 03:10

virtuald merged commit 960ed68 into main

24 checks passed

virtuald deleted the skip-sections branch

September 10, 2023 03:14

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet