Searched refs:prop_prime_iff_in_the_sieve (Results 1 – 15 of 15) sorted by relevance
33 fn prop_prime_iff_in_the_sieve(n: usize) -> bool { in main() function38 quickcheck(prop_prime_iff_in_the_sieve as fn(usize) -> bool); in main()
34 fn prop_prime_iff_in_the_sieve(n: usize) -> bool { in main() function39 quickcheck(prop_prime_iff_in_the_sieve as fn(usize) -> bool); in main()
35 fn prop_prime_iff_in_the_sieve(n: usize) -> bool { in main() function40 quickcheck(prop_prime_iff_in_the_sieve as fn(usize) -> bool); in main()
143 fn prop_prime_iff_in_the_sieve(n: u8) -> bool { in sieve_not_all_primes() function147 quickcheck(prop_prime_iff_in_the_sieve as fn(u8) -> bool); in sieve_not_all_primes()
138 fn prop_prime_iff_in_the_sieve(n: usize) -> bool { in sieve_not_all_primes() function141 quickcheck(prop_prime_iff_in_the_sieve as fn(usize) -> bool); in sieve_not_all_primes()
143 fn prop_prime_iff_in_the_sieve(n: u8) -> bool {147 quickcheck(prop_prime_iff_in_the_sieve as fn(u8) -> bool);
144 fn prop_prime_iff_in_the_sieve(n: usize) -> bool { in sieve_not_all_primes() function147 quickcheck(prop_prime_iff_in_the_sieve as fn(usize) -> bool); in sieve_not_all_primes()
483 fn prop_prime_iff_in_the_sieve(n: usize) -> bool {496 quickcheck(prop_prime_iff_in_the_sieve as fn(usize) -> bool);
542 fn prop_prime_iff_in_the_sieve(n: usize) -> bool {555 quickcheck(prop_prime_iff_in_the_sieve as fn(usize) -> bool);
531 fn prop_prime_iff_in_the_sieve(n: usize) -> bool {544 quickcheck(prop_prime_iff_in_the_sieve as fn(usize) -> bool);