Documentation
README
Behavior Preservation Checker
Overview
Validate that a migrated or refactored codebase preserves the original behavior by automatically comparing runtime behavior, test results, execution traces, and observable outputs between two repository versions.
Core Workflow
1. Setup Repositories
Prepare both repositories for comparison:
# Clone or locate repositories
ORIGINAL_REPO=/path/to/original
MIGRATED_REPO=/path/to/migrated
# Ensure both are at comparable states
cd $ORIGINAL_REPO && git checkout main
cd $MIGRATED_REPO && git checkout main
2. Run Behavior Comparison
Use the comparison script to analyze behavioral differences:
This is the opening of the README. Read the full README on GitHub.