1--TEST--
2Random: Randomizer: Serialization of the Randomizer fails if the engine is not serializable
3--FILE--
4<?php
5
6use Random\Engine\Secure;
7use Random\Randomizer;
8
9try {
10    serialize(new Randomizer(new Secure()));
11} catch (Exception $e) {
12    echo $e->getMessage(), PHP_EOL;
13}
14
15?>
16--EXPECT--
17Serialization of 'Random\Engine\Secure' is not allowed
18