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
// 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 the_destination_never_contains_a_character_that_ends_it(url in "[ -~]{0,20}") {
        let out = link("t", &url);
        let destination = &out[4..out.len() - 1];
        prop_assert!(!destination.contains([' ', '(', ')', '<', '>', '\n']));
    }
}