Searched refs:QuickCheck (Results 1 – 6 of 6) sorted by relevance
768 fn fuzz_f32() { quickcheck::QuickCheck::new().max_tests(N).quickcheck(prop_f32 as fn(f32)); } in fuzz_f32()770 fn fuzz_f64() { quickcheck::QuickCheck::new().max_tests(N).quickcheck(prop_f64 as fn(f64)); } in fuzz_f64()810 …fn fuzz_bool() { quickcheck::QuickCheck::new().max_tests(N).quickcheck(prop::<bool> as fn(Vec<_>))… in fuzz_bool()812 … fn fuzz_u8() { quickcheck::QuickCheck::new().max_tests(N).quickcheck(prop::<u8> as fn(Vec<_>)); } in fuzz_u8()814 … fn fuzz_i8() { quickcheck::QuickCheck::new().max_tests(N).quickcheck(prop::<i8> as fn(Vec<_>)); } in fuzz_i8()816 …fn fuzz_u16() { quickcheck::QuickCheck::new().max_tests(N).quickcheck(prop::<u16> as fn(Vec<_>)); } in fuzz_u16()818 …fn fuzz_i16() { quickcheck::QuickCheck::new().max_tests(N).quickcheck(prop::<i16> as fn(Vec<_>)); } in fuzz_i16()820 …fn fuzz_u32() { quickcheck::QuickCheck::new().max_tests(N).quickcheck(prop::<u32> as fn(Vec<_>)); } in fuzz_u32()822 …fn fuzz_i32() { quickcheck::QuickCheck::new().max_tests(N).quickcheck(prop::<i32> as fn(Vec<_>)); } in fuzz_i32()824 …fn fuzz_u64() { quickcheck::QuickCheck::new().max_tests(N).quickcheck(prop::<u64> as fn(Vec<_>)); } in fuzz_u64()[all …]
51 public class QuickCheck { class
33 import org.unicode.cldr.test.QuickCheck;613 QuickCheck.check(new File(targetDir, file + "." + extension)); in writeFile()
31 import org.unicode.cldr.test.QuickCheck;561 QuickCheck.check(new File(targetDir, test + ".xml")); in main()
2593 > import Test.QuickCheck
3182 > import Test.QuickCheck