// This is free and unencumbered software released into the public domain.
// SPDX-License-Identifier: CC0-1.0 OR Unlicense
#[test]#[ignore]fncan_rdseed64_fail(){letmut failed =false;for_in0..30_000_000{let rc =rdseed::get64();if rc.is_none(){
failed =true;}}assert!( failed ==false,"we expected some rdseed64 calls to fail but none did.");}