use super::*;
mod tests {
use super::*;
use std::path::PathBuf;
include!("refactor_engine_tests_basic.rs");
}
mod property_tests {
use proptest::prelude::*;
proptest! {
#[test]
fn basic_property_stability(_input in ".*") {
prop_assert!(true);
}
#[test]
fn module_consistency_check(_x in 0u32..1000) {
prop_assert!(_x < 1001);
}
}
}
mod coverage_tests {
use super::*;
use crate::services::cache::unified::UnifiedCacheConfig;
use std::path::PathBuf;
use tempfile::tempdir;
fn create_test_engine(mode: EngineMode, targets: Vec<PathBuf>) -> UnifiedEngine {
let ast_engine = Arc::new(UnifiedAstEngine::new());
let cache = Arc::new(
UnifiedCacheManager::new(UnifiedCacheConfig::default()).expect("create cache"),
);
let config = RefactorConfig::default();
UnifiedEngine::new(ast_engine, cache, mode, config, targets)
}
include!("refactor_engine_tests_types.rs");
include!("refactor_engine_tests_async.rs");
include!("refactor_engine_tests_checkpoint.rs");
include!("refactor_engine_tests_emit.rs");
include!("refactor_engine_tests_state.rs");
}