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

// 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 never_panics_on_arbitrary_input(s in "\\PC*") {
        let _ = percent_decode(&s);
    }

    #[test]
    fn decoding_never_makes_the_text_longer(s in "[a-zA-Z0-9%]{0,30}") {
        if let Ok(decoded) = percent_decode(&s) {
            prop_assert!(decoded.len() <= s.len());
        }
    }
}