Searched refs:QuickCheck (Results 1 – 8 of 8) sorted by relevance
| /external/flatbuffers/tests/rust_usage_test/tests/ |
| D | integration_test.rs | 987 …fn fuzz_bool() { quickcheck::QuickCheck::new().max_tests(N).quickcheck(prop::<bool> as fn(Vec<_>))… in fuzz_bool()
989 … fn fuzz_u8() { quickcheck::QuickCheck::new().max_tests(N).quickcheck(prop::<u8> as fn(Vec<_>)); } in fuzz_u8()
991 … fn fuzz_i8() { quickcheck::QuickCheck::new().max_tests(N).quickcheck(prop::<i8> as fn(Vec<_>)); } in fuzz_i8()
993 …fn fuzz_u16() { quickcheck::QuickCheck::new().max_tests(N).quickcheck(prop::<u16> as fn(Vec<_>)); } in fuzz_u16()
995 …fn fuzz_i16() { quickcheck::QuickCheck::new().max_tests(N).quickcheck(prop::<i16> as fn(Vec<_>)); } in fuzz_i16()
997 …fn fuzz_u32() { quickcheck::QuickCheck::new().max_tests(N).quickcheck(prop::<u32> as fn(Vec<_>)); } in fuzz_u32()
999 …fn fuzz_i32() { quickcheck::QuickCheck::new().max_tests(N).quickcheck(prop::<i32> as fn(Vec<_>)); } in fuzz_i32()
1001 …fn fuzz_u64() { quickcheck::QuickCheck::new().max_tests(N).quickcheck(prop::<u64> as fn(Vec<_>)); } in fuzz_u64()
1003 …fn fuzz_i64() { quickcheck::QuickCheck::new().max_tests(N).quickcheck(prop::<i64> as fn(Vec<_>)); } in fuzz_i64()
1005 …fn fuzz_f32() { quickcheck::QuickCheck::new().max_tests(N).quickcheck(prop::<f32> as fn(Vec<_>)); } in fuzz_f32()
[all …]
|
| /external/rust/crates/regex/tests/ |
| D | consistent.rs | 135 quickcheck::QuickCheck::new()
|
| /external/rust/crates/byteorder/src/ |
| D | lib.rs | 2388 use quickcheck::{Arbitrary, Gen, QuickCheck, StdGen, Testable};
2442 QuickCheck::new() in qc_sized()
3388 use self::quickcheck::{QuickCheck, StdGen, Testable};
3392 QuickCheck::new() in qc_unsized()
|
| /external/cldr/tools/java/org/unicode/cldr/test/ |
| D | QuickCheck.java | 52 public class QuickCheck { class
|
| /external/rust/crates/regex/src/ |
| D | dfa.rs | 1898 use quickcheck::{quickcheck, Gen, QuickCheck};
1926 QuickCheck::new() in prop_state_encode_decode()
|
| /external/cldr/tools/java/org/unicode/cldr/tool/ |
| D | GenerateXMB.java | 33 import org.unicode.cldr.test.QuickCheck;
612 QuickCheck.check(new File(targetDir, file + "." + extension)); in writeFile()
|
| D | CLDRModify.java | 32 import org.unicode.cldr.test.QuickCheck;
553 QuickCheck.check(new File(targetDir, test + ".xml")); in main()
|
| /external/llvm/docs/ |
| D | ProgrammersManual.rst | 2593 > import Test.QuickCheck
|