[opt] Remove unnecessary vector copy in BddQueryEngine#4572
Merged
GitHub Advanced Security / CodeQL
completed
Jul 20, 2026 in 7s
1 configuration not found
Warning: Code scanning cannot determine the alerts introduced by this pull request, because 1 configuration present on refs/heads/main was not found:
Default setup
- ❓
/language:python
Loading