random: Add Randomizer::nextFloat() tests

Author: TimWolla

ext/random/tests/03_randomizer/methods/nextFloat.phpt

@@ -0,0 +1,49 @@
+--TEST--
+Random: Randomizer: nextFloat(): Basic functionality
+--FILE--
+<?php
+
+use Random\Engine;
+use Random\Engine\Mt19937;
+use Random\Engine\PcgOneseq128XslRr64;
+use Random\Engine\Secure;
+use Random\Engine\Test\TestShaEngine;
+use Random\Engine\Xoshiro256StarStar;
+use Random\Randomizer;
+
+require __DIR__ . "/../../engines.inc";
+
+$engines = [];
+$engines[] = new Mt19937(null, MT_RAND_MT19937);
+$engines[] = new Mt19937(null, MT_RAND_PHP);
+$engines[] = new PcgOneseq128XslRr64();
+$engines[] = new Xoshiro256StarStar();
+$engines[] = new Secure();
+$engines[] = new TestShaEngine();
+
+foreach ($engines as $engine) {
+    echo $engine::class, PHP_EOL;
+
+    $randomizer = new Randomizer($engine);
+
+    // Basic range test.
+    for ($i = 0; $i < 10_000; $i++) {
+        $result = $randomizer->nextFloat();
+
+        if ($result < 0 || $result >= 1) {
+            die("failure: out of range at {$i}");
+        }
+    }
+}
+
+die('success');
+
+?>
+--EXPECT--
+Random\Engine\Mt19937
+Random\Engine\Mt19937
+Random\Engine\PcgOneseq128XslRr64
+Random\Engine\Xoshiro256StarStar
+Random\Engine\Secure
+Random\Engine\Test\TestShaEngine
+success

ext/random/tests/03_randomizer/methods/nextFloat_spacing.phpt

@@ -0,0 +1,41 @@
+--TEST--
+Random: Randomizer: nextFloat(): Return values are evenly spaced.
+--FILE--
+<?php
+
+use Random\Engine;
+use Random\Randomizer;
+
+final class StaticEngine implements Engine
+{
+    public function __construct(private string $value)
+    {
+    }
+
+    public function generate(): string
+    {
+        return $this->value;
+    }
+}
+
+$zero = new Randomizer(new StaticEngine("\x00\x00\x00\x00\x00\x00\x00\x00"));
+$one = new Randomizer(new StaticEngine("\x00\x08\x00\x00\x00\x00\x00\x00"));
+$two = new Randomizer(new StaticEngine("\x00\x10\x00\x00\x00\x00\x00\x00"));
+
+$max_minus_two = new Randomizer(new StaticEngine("\x00\xe8\xff\xff\xff\xff\xff\xff"));
+$max_minus_one = new Randomizer(new StaticEngine("\x00\xf0\xff\xff\xff\xff\xff\xff"));
+$max = new Randomizer(new StaticEngine("\x00\xf8\xff\xff\xff\xff\xff\xff"));
+
+var_dump($one->nextFloat() - $one->nextFloat() === $zero->nextFloat());
+var_dump($two->nextFloat() - $one->nextFloat() === $one->nextFloat());
+var_dump($max->nextFloat() - $max_minus_one->nextFloat() === $one->nextFloat());
+var_dump($max_minus_one->nextFloat() - $max_minus_two->nextFloat() === $one->nextFloat());
+var_dump($max->nextFloat() - $max_minus_two->nextFloat() === $two->nextFloat());
+
+?>
+--EXPECT--
+bool(true)
+bool(true)
+bool(true)
+bool(true)
+bool(true)