Natools

Check-in [4f0ae7072f]
Login
Overview
Comment:smaz_tests: add a check to show a bug in long verbatim size computation
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: 4f0ae7072f2e73a976fa3fe0b7e1bdd2fec85118
User & Date: nat on 2016-12-31 16:57:48
Other Links: manifest | tags
Context
2017-01-01
21:43
smaz_implementations-base_64: fix multi-block verbatim size computation check-in: c49fad3790 user: nat tags: trunk
2016-12-31
16:57
smaz_tests: add a check to show a bug in long verbatim size computation check-in: 4f0ae7072f user: nat tags: trunk
2016-12-30
22:11
smaz_generic-tools: fix removal of the first item of a dictionary check-in: dd10a5bea1 user: nat tags: trunk
Changes

Modified tests/natools-smaz_tests.adb from [bee7ae34a6] to [7b973e068d].

297
298
299
300
301
302
303









304
305
306
307
308
309
310
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319







+
+
+
+
+
+
+
+
+







         --       '<7B_Verb  >a*m'
         --  7    111011_00  0100
         --  B_V  010000_10  1111_1010  01_101010
         --  erb  101001_10  0100_1110  01_000110
         --  "erb" could have been encoded separately as "o+iB", which has
         --  the same length, but the tie is broken in favor of the longer
         --  verbatim fragment to help with corner cases.
      Roundtrip_Test (Test, Dict_64,
         "'49 bytes of data to show a verbatim count issue'",
         To_SEA ("090kTgIWenLK3NFEFAEKs/Ao92dAFAzo+iBF1SepHOvDJB0"));
         --       '<49 by >tsof_ata_to_< how>_a_ve<b>atm_ontisue'
         --                e_  d      s          r    i cu _s
         --  49   001011_00  1001_1100  10
         --   by  000001_00  0100_0110  10_011110
         --  how  000101_10  1111_0110  11_101110
         --- b    010001_10  0000
   exception
      when Error : others => Test.Report_Exception (Error);
   end Sample_Strings_64;


   procedure Test_Validity_64 (Report : in out NT.Reporter'Class) is
      Test : NT.Test := Report.Item ("Test dictionary validity");