Skip to content

chore: exclude potentially dangerous tests by default#996

Merged
kyakdan merged 1 commit intomainfrom
tag-tests-with-potential-sideeffects
Oct 28, 2025
Merged

chore: exclude potentially dangerous tests by default#996
kyakdan merged 1 commit intomainfrom
tag-tests-with-potential-sideeffects

Conversation

@simonresch
Copy link
Copy Markdown
Contributor

@simonresch simonresch commented Oct 24, 2025

All tests that can perform potentially harmful side effects are tagged and excluded by default. The CI still tests all.

Closes #971

Loading
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.

Make Jazzer tests safer / make dangerous tests opt-in

3 participants