sacp-cbor 0.2.2

SACP-CBOR/1: strict deterministic CBOR validation and canonical encoding (hot-path optimized, no_std-capable).
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

#![cfg(feature = "alloc")]

use sacp_cbor::{BigInt, CborErrorCode, F64Bits};

#[test]
fn bigint_rejects_empty_and_leading_zero() {
    let err = BigInt::new(false, Vec::new()).unwrap_err();
    assert_eq!(err.code, CborErrorCode::BignumNotCanonical);

    let err = BigInt::new(false, vec![0x00, 0x01]).unwrap_err();
    assert_eq!(err.code, CborErrorCode::BignumNotCanonical);
}

#[test]
fn bigint_rejects_safe_range_magnitudes() {
    let max_safe = vec![0x1f, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff];
    let max_safe_minus_one = vec![0x1f, 0xff, 0xff, 0xff, 0xff, 0xff, 0xfe];

    let err = BigInt::new(false, max_safe.clone()).unwrap_err();
    assert_eq!(err.code, CborErrorCode::BignumMustBeOutsideSafeRange);

    let err = BigInt::new(true, max_safe_minus_one).unwrap_err();
    assert_eq!(err.code, CborErrorCode::BignumMustBeOutsideSafeRange);

    let ok = BigInt::new(true, max_safe).unwrap();
    assert!(ok.is_negative());
}

#[test]
fn f64bits_rejects_negative_zero_and_non_canonical_nan() {
    let err = F64Bits::new(0x8000_0000_0000_0000).unwrap_err();
    assert_eq!(err.code, CborErrorCode::NegativeZeroForbidden);

    let err = F64Bits::new(0x7ff9_0000_0000_0000).unwrap_err();
    assert_eq!(err.code, CborErrorCode::NonCanonicalNaN);
}

#[test]
fn f64bits_try_from_f64_canonicalizes_nan() {
    let bits = F64Bits::try_from_f64(f64::NAN).unwrap();
    assert_eq!(bits.bits(), 0x7ff8_0000_0000_0000);
}

#[test]
fn f64bits_try_from_f64_rejects_negative_zero() {
    let err = F64Bits::try_from_f64(-0.0).unwrap_err();
    assert_eq!(err.code, CborErrorCode::NegativeZeroForbidden);
}