helpers4 0.0.6

General-purpose Rust helpers, one crate, one feature per module (string, array, ...)
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

// This file is part of helpers4.
// Copyright (C) 2025 baxyz
// SPDX-License-Identifier: LGPL-3.0-or-later

use super::*;
use proptest::prelude::*;

proptest! {
    #[test]
    fn every_line_has_the_same_number_of_cells(
        headers in prop::collection::vec("[a-z]{0,5}", 1..4),
        rows in prop::collection::vec(prop::collection::vec("[a-z]{0,5}", 0..5), 0..4),
    ) {
        let out = table(&headers, &rows);
        let lines: Vec<&str> = out.lines().collect();
        prop_assert_eq!(lines.len(), rows.len() + 2);
        let width = lines[0].chars().count();
        for line in lines {
            prop_assert!(line.starts_with("| ") && line.ends_with(" |"));
            prop_assert_eq!(line.matches(" | ").count(), headers.len() - 1);
            prop_assert_eq!(line.chars().count(), width);
        }
    }
}