From dbdb940ab6c624820f295a1ee419fecbce075b86 Mon Sep 17 00:00:00 2001 From: Kaz Kylheku Date: Wed, 7 Oct 2020 06:39:32 -0700 Subject: random: add tests validating WELL512a. * tests/013/well512a.tl: New file. * tests/013/well512a.expected: New file. --- tests/013/well512a.expected | 16 ++++++++++++++++ tests/013/well512a.tl | 8 ++++++++ 2 files changed, 24 insertions(+) create mode 100644 tests/013/well512a.expected create mode 100644 tests/013/well512a.tl (limited to 'tests/013') diff --git a/tests/013/well512a.expected b/tests/013/well512a.expected new file mode 100644 index 00000000..ecde9a65 --- /dev/null +++ b/tests/013/well512a.expected @@ -0,0 +1,16 @@ +419341993 +1818026447 +3020103184 +3141358934 +187862696 +512541134 +1416267688 +4256491982 +731233432 +1852014262 +1248293699 +206481201 +750755084 +1094637740 +2806919360 +2752871950 diff --git a/tests/013/well512a.tl b/tests/013/well512a.tl new file mode 100644 index 00000000..3f238925 --- /dev/null +++ b/tests/013/well512a.tl @@ -0,0 +1,8 @@ +(let ((rs (make-random-state #(#x01010101 #x11111111 #x22222222 #x33333333 + #x44444444 #x55555555 #x66666666 #x77777777 + #x88888888 #x99999999 #xAAAAAAAA #xBBBBBBBB + #xCCCCCCCC #xDDDDDDDD #xEEEEEEEE #xFFFFFFFF + 0))) + (mod (expt 2 32))) + (for ((i 0)) ((< i 16)) ((inc i)) + (pprinl (rand mod rs)))) -- cgit v1.2.3