proofs.rs

Trait method

<rand_xorshift::XorShiftRng as TryRng>::try_next_u32

impl TryRng for XorShiftRng
pub fn try_next_u32(self: &mut Self) -> Result<u32, <Self as rand_core::TryRng>::Error>

Documentation on docs.rs

Claims (1)

Claim #1 — Verification of <rand_xorshift::XorShiftRng as TryRng>::try_next_u32 (with Aeneas be86ab0f1989d04944292b345b24c435be3ad10a)
<rand_xorshift::XorShiftRng as TryRng>::try_next_u32

Exact next-word updates and separately checked seed/nonzero properties · v7 · 0 comments · nyuichi