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
// 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 removed_key_is_gone_and_others_stay(
        content in "([A-C]=[a-z0-9]{0,4}\n){0,8}",
    ) {
        let out = remove(&content, "A");
        prop_assert_eq!(crate::env::get(&out, "A"), None);
        let others = |c: &str| crate::env::parse(c).into_iter().filter(|(k, _)| k != "A").collect::<Vec<_>>();
        prop_assert_eq!(others(&out), others(&content));
    }
}