Commit 53f865c
Clean up dead code, debug artifacts, and duplicate scripts
Remove files that don't contribute to the working interception pipeline:
Dead code:
- ComparisonInterceptorVisitor.java — superseded by inlined visitor in
GaletteAgent.ComparisonInterceptionTransformer
Debug artifacts from Anne's branch:
- TestAgent.java, TestRecursionProtection.java — ad-hoc debug tests
- CONFETTI-REUSE-PLAN.md — future planning doc, not part of pipeline
Duplicate/obsolete scripts:
- rebuild-instrumented-java.sh — duplicates run-instrumented-with-option-flags.sh
- run-instrumented-enhanced.sh — duplicate variant
- run-symbolic-execution-instrumented.sh — duplicate variant
- run-vitruvius-test.sh — duplicate variant
- run-interception-test.sh — simple wrapper, tests available elsewhere
- run-instrumented-with-option-flags copy.sh — backup with malformed name
- SCRIPTS_OVERVIEW.md — documented the removed duplicates
Cleanup:
- Remove debug println from reaction routines (temporary tracing)
- Update comments referencing deleted ComparisonInterceptorVisitor
- Keep restored tests that don't compile (API changed) as deleted
Verified: brake exploration with --interception still finds 5 paths.
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>1 parent 4ae26f4 commit 53f865c
16 files changed
Lines changed: 7 additions & 2152 deletions
File tree
- galette-agent/src/main/java/edu/neu/ccs/prl/galette
- interception
- internal/transform
- knarr-runtime
- src
- main/java/edu/neu/ccs/prl/galette/concolic/knarr/runtime
- test/java/edu/neu/ccs/prl/galette/concolic/knarr/runtime
- tinybrake-integration/consistency/src/main/java/mir/routines/model2Model2
This file was deleted.
Lines changed: 2 additions & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
6 | 6 | | |
7 | 7 | | |
8 | 8 | | |
9 | | - | |
| 9 | + | |
| 10 | + | |
10 | 11 | | |
11 | 12 | | |
12 | 13 | | |
| |||
Lines changed: 0 additions & 182 deletions
This file was deleted.
0 commit comments