#[path = "tests/bdd.rs"]
mod bdd;
#[path = "tests/deep_v3.rs"]
mod deep_v3;
#[path = "tests/deep_w66.rs"]
mod deep_w66;
#[path = "tests/deep_w69.rs"]
mod deep_w69;
#[path = "tests/edge_cases.rs"]
mod edge_cases;
#[path = "tests/explain_depth_w55.rs"]
mod explain_depth_w55;
#[path = "tests/explain_depth_w57.rs"]
mod explain_depth_w57;
#[path = "tests/explain_depth_w60.rs"]
mod explain_depth_w60;
#[path = "tests/property.rs"]
mod property;
#[path = "tests/proptest_w56.rs"]
mod proptest_w56;
#[path = "tests/snapshots.rs"]
mod snapshots;