hegeltest 0.14.21

Property-based testing for Rust, built on Hypothesis
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

use super::*;

#[test]
fn sign_aware_lte_neg_zero_lt_pos_zero() {
    assert!(sign_aware_lte(-0.0_f64, 0.0_f64));
}

#[test]
fn sign_aware_lte_pos_zero_not_lte_neg_zero() {
    assert!(!sign_aware_lte(0.0_f64, -0.0_f64));
}

#[test]
fn sign_aware_lte_pos_zero_lte_pos_zero() {
    assert!(sign_aware_lte(0.0_f64, 0.0_f64));
}

#[test]
fn sign_aware_lte_neg_zero_lte_neg_zero() {
    assert!(sign_aware_lte(-0.0_f64, -0.0_f64));
}

#[test]
fn sign_aware_lte_falls_back_to_lte_for_nonzero() {
    assert!(sign_aware_lte(1.0_f64, 2.0_f64));
    assert!(!sign_aware_lte(2.0_f64, 1.0_f64));
    assert!(sign_aware_lte(-1.0_f64, 0.0_f64));
    assert!(sign_aware_lte(-1.0_f64, -0.0_f64));
    assert!(!sign_aware_lte(0.0_f64, -1.0_f64));
}

#[test]
fn sign_aware_lte_works_for_f32() {
    assert!(sign_aware_lte(-0.0_f32, 0.0_f32));
    assert!(!sign_aware_lte(0.0_f32, -0.0_f32));
    assert!(sign_aware_lte(1.0_f32, 2.0_f32));
}