Grcov report - generators.rs

1

// Do not edit this file as it will be overwritten if codegen is rerun

2

3

use data::*;

4

5

use proptest::prelude::*;

6

7

pub fn option_strategy_default

8

  <T: Clone + std::fmt::Debug,

9

   S:  Strategy<Value = T>> (base: S) -> impl Strategy<Value = Option<T>>

10

11

  option_strategy_bias(1, base)

12

13

14

pub fn option_strategy_bias

15

  <T: Clone + std::fmt::Debug,

16

   S:  Strategy<Value = T>> (

17

  bias: u32,

18

  base: S) -> impl Strategy<Value = Option<T>>

19

20

  prop_oneof![

21

    bias => base.prop_map(Some),

22

    1 => Just(None),

23

24

25

26

2

pub fn Isolette_Data_Model_On_Off_strategy_default() -> impl Strategy<Value = Isolette_Data_Model::On_Off>

27

2

28

2

  Isolette_Data_Model_On_Off_strategy_cust(1, 1)

29

2

30

31

2

pub fn Isolette_Data_Model_On_Off_strategy_cust(

32

2

  Onn_bias: u32,

33

2

  Off_bias: u32) -> impl Strategy<Value = Isolette_Data_Model::On_Off>

34

2

35

2

  prop_oneof![

36

2

    Onn_bias => Just(Isolette_Data_Model::On_Off::Onn),

37

2

    Off_bias => Just(Isolette_Data_Model::On_Off::Off)

38

2

39

2

40

41

pub fn Isolette_Data_Model_Temp_strategy_default() -> impl Strategy<Value = Isolette_Data_Model::Temp>

42

43

  Isolette_Data_Model_Temp_strategy_cust(

44

    any::<i32>()

45

46

47

48

6

pub fn Isolette_Data_Model_Temp_strategy_cust<degrees_i32_strategy: Strategy<Value = i32>> (degrees_strategy: degrees_i32_strategy) -> impl Strategy<Value = Isolette_Data_Model::Temp>

49

6

50

864

  (degrees_strategy).prop_map(|(degrees)| {

51

864

    Isolette_Data_Model::Temp { degrees }

52

864

})

53

6

54

55

pub fn Isolette_Data_Model_Set_Points_strategy_default() -> impl Strategy<Value = Isolette_Data_Model::Set_Points>

56

57

  Isolette_Data_Model_Set_Points_strategy_cust(

58

    Isolette_Data_Model_Temp_strategy_default(),

59

    Isolette_Data_Model_Temp_strategy_default()

60

61

62

63

2

pub fn Isolette_Data_Model_Set_Points_strategy_cust

64

2

  <lower_Isolette_Data_Model_Temp_strategy: Strategy<Value = Isolette_Data_Model::Temp>,

65

2

   upper_Isolette_Data_Model_Temp_strategy: Strategy<Value = Isolette_Data_Model::Temp>> (

66

2

  lower_strategy: lower_Isolette_Data_Model_Temp_strategy,

67

2

  upper_strategy: upper_Isolette_Data_Model_Temp_strategy) -> impl Strategy<Value = Isolette_Data_Model::Set_Points>

68

2

69

288

  (lower_strategy, upper_strategy).prop_map(|(lower, upper)| {

70

288

    Isolette_Data_Model::Set_Points { lower, upper }

71

288

})

72

2