#[path = "tests/api_surface_depth_w55.rs"]
mod api_surface_depth_w55;
#[path = "tests/api_surface_depth_w61.rs"]
mod api_surface_depth_w61;
#[path = "tests/api_surface_w75.rs"]
mod api_surface_w75;
#[path = "tests/bdd.rs"]
mod bdd;
#[path = "tests/deep.rs"]
mod deep;
#[path = "tests/deep_apisurface_w49.rs"]
mod deep_apisurface_w49;
#[path = "tests/deep_coverage.rs"]
mod deep_coverage;
#[path = "tests/deep_w39.rs"]
mod deep_w39;
#[path = "tests/deep_w68.rs"]
mod deep_w68;
#[path = "tests/properties.rs"]
mod properties;
#[path = "tests/unit.rs"]
mod unit;