Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-09-12 15:49 169384a7

View on Github →

feat(slim_check): add test cases (#4100)

Estimated changes

Modified src/system/random/basic.lean

added def io.run_rand_with

Modified src/tactic/slim_check.lean

Modified src/testing/slim_check/testable.lean

modified def slim_check.testable.check

Created test/random.lean

added def find_prime

added def find_prime_aux

added def iterated_primality_test

added def iterated_primality_test_aux

added def primality_test

Modified test/slim_check.lean

deleted def find_prime

deleted def find_prime_aux

deleted def iterated_primality_test

deleted def iterated_primality_test_aux

deleted def primality_test