loeres-device 0.9.0

Loeres deterministic, allocation-free, panic-averse edge solver entrypoints. no_std, no alloc.
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

use super::{DeviceSolveConfig, TimingMode};
use loeres::SolverError;

fn cfg(max: u32, tol: f64, mode: TimingMode) -> DeviceSolveConfig<f64> {
    DeviceSolveConfig {
        max_iterations: max,
        tolerance: tol,
        timing_mode: mode,
    }
}

#[test]
fn valid_config_passes() {
    assert!(
        cfg(100, 1e-9, TimingMode::EarlyExitAllowed)
            .validate()
            .is_ok()
    );
}

#[test]
fn zero_tolerance_allowed_at_rfc005_level() {
    // RFC 005 does not reject zero tolerance; that is RFC 006's decision (M6).
    assert!(
        cfg(50, 0.0, TimingMode::EarlyExitAllowed)
            .validate()
            .is_ok()
    );
}

#[test]
fn zero_max_iterations_rejected() {
    assert!(matches!(
        cfg(0, 1e-6, TimingMode::EarlyExitAllowed).validate(),
        Err(SolverError::InvalidInput)
    ));
}

#[test]
fn negative_tolerance_rejected() {
    assert!(matches!(
        cfg(10, -1e-6, TimingMode::EarlyExitAllowed).validate(),
        Err(SolverError::InvalidInput)
    ));
}

#[test]
fn non_finite_tolerance_rejected() {
    assert!(matches!(
        cfg(10, f64::NAN, TimingMode::EarlyExitAllowed).validate(),
        Err(SolverError::NonFiniteInput)
    ));
    assert!(matches!(
        cfg(10, f64::INFINITY, TimingMode::EarlyExitAllowed).validate(),
        Err(SolverError::NonFiniteInput)
    ));
}

#[test]
fn timing_mode_early_exit_is_copy_eq() {
    let m = TimingMode::EarlyExitAllowed;
    assert_eq!(m, TimingMode::EarlyExitAllowed);
}

#[cfg(feature = "constant-iteration")]
#[test]
fn constant_iteration_available_under_feature() {
    assert!(
        cfg(10, 1e-6, TimingMode::ConstantIteration)
            .validate()
            .is_ok()
    );
}