1--TEST--
2Random: Engine: PcgOneseq128XslRr64: The serialization output must be stable
3--FILE--
4<?php
5
6use Random\Engine\PcgOneseq128XslRr64;
7
8echo serialize(new PcgOneseq128XslRr64(1234));
9
10?>
11--EXPECT--
12O:33:"Random\Engine\PcgOneseq128XslRr64":2:{i:0;a:0:{}i:1;a:2:{i:0;s:16:"c6d571c37c41a8d1";i:1;s:16:"345e7e82265d6e27";}}
13