polyvoice 0.6.7

Speaker diarization for Rust — who spoke when. ONNX-powered: Silero VAD, WeSpeaker embeddings, Pyannote segmentation, K-means/AHC clustering, overlap detection.
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

//! Kani formal proofs for `types` invariants.
//!
//! Run with: `cargo kani`

use super::{Confidence, SampleRate, Seconds, TimeRange};

#[kani::proof]
fn confidence_new_invariant() {
    let value: f32 = kani::any();
    kani::assume(value.is_finite());

    if let Some(c) = Confidence::new(value) {
        assert!(c.get() >= 0.0);
        assert!(c.get() <= 1.0);
    }
}

#[kani::proof]
fn sample_rate_new_invariant() {
    let value: u32 = kani::any();

    if let Some(sr) = SampleRate::new(value) {
        assert!(sr.get() >= 8000);
        assert!(sr.get() <= 192000);
    }
}

#[kani::proof]
fn seconds_new_invariant() {
    let value: f32 = kani::any();
    kani::assume(value.is_finite());

    if let Some(s) = Seconds::new(value) {
        assert!(s.get() >= 0.0);
    }
}

#[kani::proof]
fn time_range_duration_non_negative() {
    let start: f64 = kani::any();
    let end: f64 = kani::any();
    kani::assume(start.is_finite());
    kani::assume(end.is_finite());

    let tr = TimeRange { start, end };
    let dur: f64 = tr.duration();
    assert!(dur >= 0.0);
    assert!(tr.start <= tr.end || dur == 0.0);
}