- Place generated file under test/ in your Foundry project.
- Set TARGET address and align interface selectors to victim contract.
- Run: forge test --match-test test_reentrancy_drain -vvv (or full suite).
- Apply patch diff on vulnerable function.
- Re-run /scan and forge tests to confirm finding removal and exploit failure.