#[path = "tests/bdd.rs"]
mod bdd;
#[path = "tests/deep_v3.rs"]
mod deep_v3;
#[path = "tests/deep_w70.rs"]
mod deep_w70;
#[path = "tests/edge_cases.rs"]
mod edge_cases;
#[path = "tests/maint_depth_w57.rs"]
mod maint_depth_w57;
#[path = "tests/maintainability_depth_w55.rs"]
mod maintainability_depth_w55;
#[path = "tests/maintainability_depth_w60.rs"]
mod maintainability_depth_w60;
#[path = "tests/mathematical_invariants.rs"]
mod mathematical_invariants;
#[path = "tests/properties.rs"]
mod properties;
#[path = "tests/reference_values.rs"]
mod reference_values;