Remove autoscan ITs and add withoutSemantic tests - #5870

Draft

romainbrenguier wants to merge 5 commits into

romain/remove-autoscan

Commits on Aug 4, 2026

Remove autoscan integration test module

romainbrenguier
and
claude
committed
9c650a2
WIP: Add withoutSemantic() tests to check test files

romainbrenguier
and
claude
committed
c50a93f
Fix withoutSemantic() tests and add verifyAnalysisSucceeds()

romainbrenguier
and
claude
committed
74e2ec2
Fix code review issues: conflict marker, dead code, and semantic test assertions

romainbrenguier
and
claude
committed
19cba22
Add tests for verifyAnalysisSucceeds() in InternalCheckVerifier and JavaCheckVerifier

romainbrenguier
and
claude
committed
e506127