#[path = "tests/bdd.rs"]
mod bdd;
#[path = "tests/deep.rs"]
mod deep;
#[path = "tests/deep2.rs"]
mod deep2;
#[path = "tests/deep_neardup_round2_w51.rs"]
mod deep_neardup_round2_w51;
#[path = "tests/deep_neardup_w47.rs"]
mod deep_neardup_w47;
#[path = "tests/deep_w38.rs"]
mod deep_w38;
#[path = "tests/deep_w42.rs"]
mod deep_w42;
#[path = "tests/deep_w68.rs"]
mod deep_w68;
#[path = "tests/determinism.rs"]
mod determinism;
#[path = "tests/near_dup_depth_w56.rs"]
mod near_dup_depth_w56;
#[path = "tests/neardup_contract_w65.rs"]
mod neardup_contract_w65;
#[path = "tests/neardup_depth_w62.rs"]
mod neardup_depth_w62;
#[path = "tests/neardup_w74.rs"]
mod neardup_w74;
#[path = "tests/properties.rs"]
mod properties;
#[path = "tests/unit.rs"]
mod unit;