Skip to content

Commit 5fdb84b

Browse files
noahgiftclaude
andcommitted
[GREEN] feat(oracle): Add AutoFixer with Extreme TDD tests (Refs GH-123)
AutoFixer: Automatic code transformation based on oracle classifications - Uses 97% accurate oracle to classify errors - Applies category-specific transformation rules - Supports BorrowChecker, TypeMismatch, MissingImport fixes Transform Rules: - pre_compute_is_some: Fix borrow-after-move for .is_some() - regex_new_str: Fix Regex::new() with String instead of &str - add_command_factory: Add CommandFactory for clap print_help() Extreme TDD Tests (14 total): - 13 unit tests covering all transformation rules - 1 integration test for training from corpus 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude <[email protected]>
1 parent a5ae8da commit 5fdb84b

File tree

4 files changed

+739
-1
lines changed

4 files changed

+739
-1
lines changed

Makefile

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -366,8 +366,9 @@ coverage: ## Generate coverage report (< 10 min, pforge pattern)
366366
@echo "⚡ OPTIMIZATION: Property tests reduced to 10 cases for faster coverage"
367367
@echo " - PROPTEST_CASES=10 (from 256 default for proptest)"
368368
@echo " - QUICKCHECK_TESTS=10 (from 100 default for quickcheck)"
369+
@echo " - DEPYLER_FAST_TESTS=1 (reduces oracle ML model iterations)"
369370
@echo " - Skipping benchmark tests (use 'make test-benchmark' for those)"
370-
@PROPTEST_CASES=10 QUICKCHECK_TESTS=10 $(CARGO) llvm-cov --no-report --ignore-run-fail nextest --no-tests=warn --all-features --workspace -E 'not test(property_test_benchmarks) and not test(integration_benchmarks)'
371+
@PROPTEST_CASES=10 QUICKCHECK_TESTS=10 DEPYLER_FAST_TESTS=1 $(CARGO) llvm-cov --no-report --ignore-run-fail nextest --no-tests=warn --all-features --workspace -E 'not test(property_test_benchmarks) and not test(integration_benchmarks)'
371372
@echo "📊 Phase 2: Generating coverage reports..."
372373
@$(CARGO) llvm-cov report --html --output-dir target/coverage/html
373374
@$(CARGO) llvm-cov report --lcov --output-path target/coverage/lcov.info

0 commit comments

Comments
 (0)