law rng_next_0

bend-prot@0.1.0.0 · LAWS.bend:245

import Base
import bend-prot@0.1.0.0/rng.bend as Rng

245# splitmix32 golden values (catches mistyped mixer constants).
246law rng_next_0:
247  {Rng.rng_next(0) == 1684164658 : U32}