26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
procedure All_Tests_4096 (Report : in out NT.Reporter'Class);
procedure All_Tests_64 (Report : in out NT.Reporter'Class);
procedure Sample_Strings_256 (Report : in out NT.Reporter'Class);
procedure Sample_Strings_VLV_256 (Report : in out NT.Reporter'Class);
procedure Test_Validity_256 (Report : in out NT.Reporter'Class);
procedure Sample_Strings_4096 (Report : in out NT.Reporter'Class);
procedure Sample_Strings_VLV_4096 (Report : in out NT.Reporter'Class);
procedure Test_Validity_4096 (Report : in out NT.Reporter'Class);
procedure Impure_Stream_64 (Report : in out NT.Reporter'Class);
procedure Sample_Strings_64 (Report : in out NT.Reporter'Class);
procedure Sample_Strings_VLV_64 (Report : in out NT.Reporter'Class);
procedure Test_Validity_64 (Report : in out NT.Reporter'Class);
end Natools.Smaz_Tests;
|
>
|
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
procedure All_Tests_4096 (Report : in out NT.Reporter'Class);
procedure All_Tests_64 (Report : in out NT.Reporter'Class);
procedure Sample_Strings_256 (Report : in out NT.Reporter'Class);
procedure Sample_Strings_VLV_256 (Report : in out NT.Reporter'Class);
procedure Test_Validity_256 (Report : in out NT.Reporter'Class);
procedure Impure_Stream_4096 (Report : in out NT.Reporter'Class);
procedure Sample_Strings_4096 (Report : in out NT.Reporter'Class);
procedure Sample_Strings_VLV_4096 (Report : in out NT.Reporter'Class);
procedure Test_Validity_4096 (Report : in out NT.Reporter'Class);
procedure Impure_Stream_64 (Report : in out NT.Reporter'Class);
procedure Sample_Strings_64 (Report : in out NT.Reporter'Class);
procedure Sample_Strings_VLV_64 (Report : in out NT.Reporter'Class);
procedure Test_Validity_64 (Report : in out NT.Reporter'Class);
end Natools.Smaz_Tests;
|