#[path = "analysis_html/bdd.rs"]
mod bdd;
#[path = "analysis_html/deep_v3.rs"]
mod deep_v3;
#[path = "analysis_html/deep_w66.rs"]
mod deep_w66;
#[path = "analysis_html/deep_w69.rs"]
mod deep_w69;
#[path = "analysis_html/edge_cases.rs"]
mod edge_cases;
#[path = "analysis_html/html_depth_w57.rs"]
mod html_depth_w57;
#[path = "analysis_html/html_depth_w62.rs"]
mod html_depth_w62;
#[path = "analysis_html/html_rendering_w55.rs"]
mod html_rendering_w55;
#[path = "analysis_html/property.rs"]
mod property;
#[path = "analysis_html/proptest_w56.rs"]
mod proptest_w56;
#[path = "analysis_html/snapshots.rs"]
mod snapshots;