harmonia-utils-test

Proptest strategies and test macros for property-based testing.

Overview

This crate provides proptest strategies for generating test data and assertion macros for property-based testing of Harmonia crates. It should only be used as a dev-dependency.

Contents

• arb_filename / arb_path - Strategies for generating valid filenames and paths
• arb_byte_string - Strategy for generating arbitrary byte strings
• arb_duration / arb_system_time - Strategies for time values
• helpers::Union - Weighted union of proptest strategies

Example

use harmonia_utils_test::{arb_path, arb_byte_string};
use proptest::prelude::*;

proptest! {
    #[test]
    fn roundtrip_path(path in arb_path()) {
        let encoded = encode(&path);
        let decoded = decode(&encoded)?;
        prop_assert_eq!(path, decoded);
    }

    #[test]
    fn roundtrip_bytes(data in arb_byte_string()) {
        let compressed = compress(&data);
        let decompressed = decompress(&compressed)?;
        prop_assert_eq!(data, decompressed);
    }
}

Strategies

Key Characteristics

• Dev-dependency only (not needed at runtime)
• Generates valid data that satisfies invariants