Source file bbattery.ml

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
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
external small_crush : Unif01.gen -> unit =
  "caml_bbattery_SmallCrush"

external small_crush_file : string -> unit =
  "caml_bbattery_SmallCrushFile"

external repeat_small_crush : Unif01.gen -> int array -> unit =
  "caml_bbattery_RepeatSmallCrush"

let ntests_small_crush = 10

let repeat_small_crush gen rep =
  if Array.length rep <> ntests_small_crush + 1 then
    invalid_arg "wrong size for repeat array";
  repeat_small_crush gen rep

external crush : Unif01.gen -> unit =
  "caml_bbattery_Crush"

external repeat_crush : Unif01.gen -> int array -> unit =
  "caml_bbattery_RepeatCrush"

let ntests_crush = 96

let repeat_crush gen rep =
  if Array.length rep <> ntests_crush + 1 then
    failwith "wrong size for repeat array";
  repeat_crush gen rep

external big_crush : Unif01.gen -> unit =
  "caml_bbattery_BigCrush"

external repeat_big_crush : Unif01.gen -> int array -> unit =
  "caml_bbattery_RepeatBigCrush"

let ntests_big_crush = 106

let repeat_big_crush gen rep =
  if Array.length rep <> ntests_big_crush + 1 then
    failwith "wrong size for repeat array";
  repeat_big_crush gen rep

external rabbit : Unif01.gen -> float -> unit =
  "caml_bbattery_Rabbit"

external rabbit_file : string -> float -> unit =
  "caml_bbattery_RabbitFile"

external repeat_rabbit : Unif01.gen -> float -> int array -> unit =
  "caml_bbattery_RepeatRabbit"

let ntests_rabbit = 26

let repeat_rabbit gen nb rep =
  if Array.length rep <> ntests_rabbit + 1 then
    failwith "wrong size for repeat array";
  repeat_rabbit gen nb rep

external alphabit : Unif01.gen -> float -> int -> int -> unit =
  "caml_bbattery_Alphabit"

external alphabit_file : string -> float -> unit =
  "caml_bbattery_AlphabitFile"

external repeat_alphabit : Unif01.gen -> float -> int -> int -> int array -> unit =
  "caml_bbattery_RepeatAlphabit"

let ntests_alphabit = 9

let repeat_alphabit gen nb r s rep =
  if Array.length rep <> ntests_alphabit + 1 then
    failwith "wrong size for repeat array";
  repeat_alphabit gen nb r s rep

external block_alphabit : Unif01.gen -> float -> int -> int -> unit =
  "caml_bbattery_BlockAlphabit"

external block_alphabit_file : string -> float -> unit =
  "caml_bbattery_BlockAlphabitFile"

external repeat_block_alphabit : Unif01.gen -> float -> int -> int -> int array -> int -> unit =
  "camlbytecode_bbattery_RepeatBlockAlphabit" "caml_bbattery_RepeatBlockAlphabit"

let ntests_block_alphabit = ntests_alphabit

let repeat_block_alphabit gen nb r s rep w =
  if Array.length rep <> ntests_block_alphabit + 1 then
    failwith "wrong size for repeat array";
  repeat_block_alphabit gen nb r s rep w

external pseudo_diehard : Unif01.gen -> unit =
  "caml_bbattery_pseudoDIEHARD"

let ntests_pseudo_diehard = 15

external fips_140_2 : Unif01.gen -> unit =
  "caml_bbattery_FIPS_140_2"

external fips_140_2_file : string -> unit =
  "caml_bbattery_FIPS_140_2File"

let ntests_fips_140_2 = 4