#[path = "tests/bdd.rs"]
mod bdd;
#[path = "tests/complexity_contract_w65.rs"]
mod complexity_contract_w65;
#[path = "tests/complexity_depth_w56.rs"]
mod complexity_depth_w56;
#[path = "tests/complexity_w74.rs"]
mod complexity_w74;
#[path = "tests/deep.rs"]
mod deep;
#[path = "tests/deep_complexity_round2_w51.rs"]
mod deep_complexity_round2_w51;
#[path = "tests/deep_complexity_w47.rs"]
mod deep_complexity_w47;
#[path = "tests/deep_w39.rs"]
mod deep_w39;
#[path = "tests/deep_w68.rs"]
mod deep_w68;
#[path = "tests/edge_cases.rs"]
mod edge_cases;
#[path = "tests/integration.rs"]
mod integration;
#[path = "tests/properties.rs"]
mod properties;
#[path = "tests/proptest_w40.rs"]
mod proptest_w40;