/// Property-based test runner for class-related code paths
///
/// COVERAGE TARGET: >85% for:
/// - `src/frontend/parser/expressions_helpers/classes.rs` (897 lines)
/// - `src/frontend/parser/expressions_helpers/structs.rs` (370 lines)
/// - `src/frontend/parser/expressions_helpers/impls.rs` (141 lines)
/// - src/runtime/interpreter.rs class methods (6 functions)
///
/// Run with: cargo test --test `class_property_tests` -- --ignored --nocapture
/// This will execute 10 properties × 10,000 cases = 100,000 test cases
mod properties;
#[cfg(test)]
mod integration {
#[test]
fn test_class_properties_integration() {
// This test ensures the property module compiles and runs
println!("Class property tests are available");
println!("IMPORTANT: Interpreter is NOT thread-safe (by design)");
println!("Run with: cargo test --test class_property_tests -- --test-threads=1");
println!();
println!("Rationale: Each test creates its own Interpreter instance.");
println!("Proptest runs iterations in parallel, causing race conditions.");
println!("In production, each execution has its own interpreter (no sharing).");
}
}