sem-tool 0.2.0

A simple Semantic Versioning CLI tool for parsing, filtering, sorting and explaining
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
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100

//! SPDX-License-Identifier: Apache-2.0
//! Copyright 2025 canardleteer
//!
//! Licensed under the Apache License, Version 2.0 (the "License");
//! you may not use this file except in compliance with the License.
//! You may obtain a copy of the License at
//!
//! http://www.apache.org/licenses/LICENSE-2.0
//!
//! Unless required by applicable law or agreed to in writing, software
//! distributed under the License is distributed on an "AS IS" BASIS,
//! WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
//! See the License for the specific language governing permissions and
//! limitations under the License.
use proptest::prelude::*;
use proptest_semver::*;

mod common;
use common::subcommands::*;

use crate::common::common_cmd;

#[test]
fn cli_validate_invalid_input() {
    let assert = common_cmd().arg(COMMAND_BUMP).arg("a.b.c").assert();
    assert
        .append_context(COMMAND_BUMP, "1 bad semver args")
        .failure();
}

#[test]
fn cli_validate_basic_cases() {
    let assert = common_cmd()
        .arg(COMMAND_BUMP)
        .arg("1.1.1-rc.0.a.1.b+a.0.b.1")
        .arg("--bump-major=2")
        .arg("--bump-minor=3")
        .arg("--bump-patch=4")
        .assert();
    assert
        .append_context(COMMAND_BUMP, "1 valid semver arg")
        .success();
}

proptest! {
    #![proptest_config(ProptestConfig {
        // Setting both fork and timeout is redundant since timeout implies
        // fork, but both are shown for clarity.
        fork: true,
        // timeout: 10000,
        cases: 256,
        .. ProptestConfig::default()
    })]
    #[test]
    fn prop_validate_small(v in arb_version(), major: Option<u64>, minor: Option<u64>, patch: Option<u64>) {
        let (major_bump, major_checked) = match major {
            None => ("".to_string(), true),
            Some(m) => {
                (format!("--bump-major={}", m), v.major.checked_add(m).is_some())
            }
        };

        let (minor_bump, minor_checked) = match minor {
            None => ("".to_string(), true),
            Some(m) => {
                (format!("--bump-minor={}", m), v.minor.checked_add(m).is_some())
            }
        };

        let (patch_bump, patch_checked) = match patch {
            None => ("".to_string(), true),
            Some(p) => {
                (format!("--bump-patch={}", p), v.patch.checked_add(p).is_some())
            }
        };

        let mut assert = common_cmd();
        assert.arg(COMMAND_BUMP).arg(v.to_string());

        if major.is_some() {
            assert.arg(major_bump);
        }

        if minor.is_some() {
            assert.arg(minor_bump);
        }

        if patch.is_some() {
            assert.arg(patch_bump);
        }

        let assert = assert.assert();

        if major_checked && minor_checked && patch_checked {
            assert.append_context(COMMAND_SET, "property testing (success expected)").success();
        } else {
            assert.append_context(COMMAND_SET, "property testing (failure expected)").failure();
        }
    }
}