Overview
| Comment: | smaz_tests: add multi-block base-4096 verbatim, to reach full coverage |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
3110e5329ddbf94a382dbd6071a19bb1 |
| User & Date: | nat on 2017-02-13 21:12:08 |
| Other Links: | manifest | tags |
Context
|
2017-02-14
| ||
| 21:04 | smaz_generic-tools: fix the precondition of To_Dictionary check-in: 8458c28c3c user: nat tags: trunk | |
|
2017-02-13
| ||
| 21:12 | smaz_tests: add multi-block base-4096 verbatim, to reach full coverage check-in: 3110e5329d user: nat tags: trunk | |
|
2017-02-12
| ||
| 21:52 | smaz_tests: add base-4096 variable-length verbatim sample string test check-in: cf6b7c828f user: nat tags: trunk | |
Changes
Modified tests/natools-smaz_tests.adb from [af670744d8] to [325d236ad6].
| ︙ | |||
12 13 14 15 16 17 18 19 20 21 22 23 24 25 | 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 | + | -- WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN -- -- ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF -- -- OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. -- ------------------------------------------------------------------------------ with Ada.Characters.Latin_1; with Ada.Streams; with Ada.Strings.Fixed; with Ada.Strings.Unbounded; with Natools.S_Expressions; with Natools.Smaz_256; with Natools.Smaz_4096; with Natools.Smaz_64; with Natools.Smaz_Generic; with Natools.Smaz_Implementations.Base_4096; |
| ︙ | |||
588 589 590 591 592 593 594 595 596 597 598 599 600 601 | 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 | + + + + + + |
-- 1000 numbers 2*0 will 10 20 30 compress very little",
Roundtrip_Test (Test, Dictionary,
": : : :",
To_SEA ("5/6AiOgoDI6A"));
-- :_: 010111_00 0000_0100 01_011100
-- _:_ 000001_00 0101_1100 00_000100
-- : 010111_00 0000
Roundtrip_Test (Test, Dictionary,
(1 .. 80 => ':'),
To_SEA (Ada.Strings.Fixed."*"
(2, "c/" & Ada.Strings.Fixed."*" (12, "6ojO"))
& "4/6ojO6ojO6oD"));
-- ::: 010111_00 0101_1100 01_011100
exception
when Error : others => Test.Report_Exception (Error);
end Sample_Strings_4096;
procedure Sample_Strings_4096 (Report : in out NT.Reporter'Class) is
begin
|
| ︙ | |||
649 650 651 652 653 654 655 656 657 658 659 660 661 662 | 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 | + + + + |
-- 1000 numbers 2*0 will 10 20 30 compress very little",
Roundtrip_Test (Test, Dictionary,
": : : :",
To_SEA ("4/6AiOgoDI6A"));
-- :_: 010111_00 0000_0100 01_011100
-- _:_ 000001_00 0101_1100 00_000100
-- : 010111_00 0000
Roundtrip_Test (Test, Dictionary,
(1 .. 4096 + 36 => ':'),
To_SEA ("////" & Ada.Strings.Fixed."*" (1377, "6ojO") & "+/6A"));
-- ::: 010111_00 0101_1100 01_011100
exception
when Error : others => Test.Report_Exception (Error);
end Sample_Strings_VLV_4096;
procedure Sample_Strings_VLV_4096 (Report : in out NT.Reporter'Class) is
begin
|
| ︙ |