Test output for siphash [ok]

Testing time: 0s

'/usr/home/chicken/salmonella/build/salmonella-run-publish/chicken/bin/csi' -script run.scm < /dev/null 2>&1

-- testing siphash -----------------------------------------------------------
(make-siphash c d) ................................................... [ PASS]
(siphash-c-d key) .................................................... [ PASS]
(siphash-c-d key message) ............................................ [ PASS]
(siphash-2-4 short-key) .............................................. [ PASS]
(siphash-2-4 key <0 bytes>) => 726fdb47dd0e0e31 ...................... [ PASS]
(siphash-2-4 key <1 bytes>) => 74f839c593dc67fd ...................... [ PASS]
(siphash-2-4 key <2 bytes>) => 0d6c8009d9a94f5a ...................... [ PASS]
(siphash-2-4 key <3 bytes>) => 85676696d7fb7e2d ...................... [ PASS]
(siphash-2-4 key <4 bytes>) => cf2794e0277187b7 ...................... [ PASS]
(siphash-2-4 key <5 bytes>) => 18765564cd99a68d ...................... [ PASS]
(siphash-2-4 key <6 bytes>) => cbc9466e58fee3ce ...................... [ PASS]
(siphash-2-4 key <7 bytes>) => ab0200f58b01d137 ...................... [ PASS]
(siphash-2-4 key <8 bytes>) => 93f5f5799a932462 ...................... [ PASS]
(siphash-2-4 key <9 bytes>) => 9e0082df0ba9e4b0 ...................... [ PASS]
(siphash-2-4 key <10 bytes>) => 7a5dbbc594ddb9f3 ..................... [ PASS]
(siphash-2-4 key <11 bytes>) => f4b32f46226bada7 ..................... [ PASS]
(siphash-2-4 key <12 bytes>) => 751e8fbc860ee5fb ..................... [ PASS]
(siphash-2-4 key <13 bytes>) => 14ea5627c0843d90 ..................... [ PASS]
(siphash-2-4 key <14 bytes>) => f723ca908e7af2ee ..................... [ PASS]
(siphash-2-4 key <15 bytes>) => a129ca6149be45e5 ..................... [ PASS]
(siphash-2-4 key <16 bytes>) => 3f2acc7f57c29bdb ..................... [ PASS]
(siphash-2-4 key <17 bytes>) => 699ae9f52cbe4794 ..................... [ PASS]
(siphash-2-4 key <18 bytes>) => 4bc1b3f0968dd39c ..................... [ PASS]
(siphash-2-4 key <19 bytes>) => bb6dc91da77961bd ..................... [ PASS]
(siphash-2-4 key <20 bytes>) => bed65cf21aa2ee98 ..................... [ PASS]
(siphash-2-4 key <21 bytes>) => d0f2cbb02e3b67c7 ..................... [ PASS]
(siphash-2-4 key <22 bytes>) => 93536795e3a33e88 ..................... [ PASS]
(siphash-2-4 key <23 bytes>) => a80c038ccd5ccec8 ..................... [ PASS]
(siphash-2-4 key <24 bytes>) => b8ad50c6f649af94 ..................... [ PASS]
(siphash-2-4 key <25 bytes>) => bce192de8a85b8ea ..................... [ PASS]
(siphash-2-4 key <26 bytes>) => 17d835b85bbb15f3 ..................... [ PASS]
(siphash-2-4 key <27 bytes>) => 2f2e6163076bcfad ..................... [ PASS]
(siphash-2-4 key <28 bytes>) => de4daaaca71dc9a5 ..................... [ PASS]
(siphash-2-4 key <29 bytes>) => a6a2506687956571 ..................... [ PASS]
(siphash-2-4 key <30 bytes>) => ad87a3535c49ef28 ..................... [ PASS]
(siphash-2-4 key <31 bytes>) => 32d892fad841c342 ..................... [ PASS]
(siphash-2-4 key <32 bytes>) => 7127512f72f27cce ..................... [ PASS]
(siphash-2-4 key <33 bytes>) => a7f32346f95978e3 ..................... [ PASS]
(siphash-2-4 key <34 bytes>) => 12e0b01abb051238 ..................... [ PASS]
(siphash-2-4 key <35 bytes>) => 15e034d40fa197ae ..................... [ PASS]
(siphash-2-4 key <36 bytes>) => 314dffbe0815a3b4 ..................... [ PASS]
(siphash-2-4 key <37 bytes>) => 027990f029623981 ..................... [ PASS]
(siphash-2-4 key <38 bytes>) => cadcd4e59ef40c4d ..................... [ PASS]
(siphash-2-4 key <39 bytes>) => 9abfd8766a33735c ..................... [ PASS]
(siphash-2-4 key <40 bytes>) => 0e3ea96b5304a7d0 ..................... [ PASS]
(siphash-2-4 key <41 bytes>) => ad0c42d6fc585992 ..................... [ PASS]
(siphash-2-4 key <42 bytes>) => 187306c89bc215a9 ..................... [ PASS]
(siphash-2-4 key <43 bytes>) => d4a60abcf3792b95 ..................... [ PASS]
(siphash-2-4 key <44 bytes>) => f935451de4f21df2 ..................... [ PASS]
(siphash-2-4 key <45 bytes>) => a9538f0419755787 ..................... [ PASS]
(siphash-2-4 key <46 bytes>) => db9acddff56ca510 ..................... [ PASS]
(siphash-2-4 key <47 bytes>) => d06c98cd5c0975eb ..................... [ PASS]
(siphash-2-4 key <48 bytes>) => e612a3cb9ecba951 ..................... [ PASS]
(siphash-2-4 key <49 bytes>) => c766e62cfcadaf96 ..................... [ PASS]
(siphash-2-4 key <50 bytes>) => ee64435a9752fe72 ..................... [ PASS]
(siphash-2-4 key <51 bytes>) => a192d576b245165a ..................... [ PASS]
(siphash-2-4 key <52 bytes>) => 0a8787bf8ecb74b2 ..................... [ PASS]
(siphash-2-4 key <53 bytes>) => 81b3e73d20b49b6f ..................... [ PASS]
(siphash-2-4 key <54 bytes>) => 7fa8220ba3b2ecea ..................... [ PASS]
(siphash-2-4 key <55 bytes>) => 245731c13ca42499 ..................... [ PASS]
(siphash-2-4 key <56 bytes>) => b78dbfaf3a8d83bd ..................... [ PASS]
(siphash-2-4 key <57 bytes>) => ea1ad565322a1a0b ..................... [ PASS]
(siphash-2-4 key <58 bytes>) => 60e61c23a3795013 ..................... [ PASS]
(siphash-2-4 key <59 bytes>) => 6606d7e446282b93 ..................... [ PASS]
(siphash-2-4 key <60 bytes>) => 6ca4ecb15c5f91e1 ..................... [ PASS]
(siphash-2-4 key <61 bytes>) => 9f626da15c9625f3 ..................... [ PASS]
(siphash-2-4 key <62 bytes>) => e51b38608ef25f57 ..................... [ PASS]
(siphash-2-4 key <63 bytes>) => 958a324ceb064572 ..................... [ PASS]
68 tests completed in 11/500 seconds.
68 out of 68 (100%) tests passed.
-- done testing siphash ------------------------------------------------------