Searched refs:quickcheck (Results 1 – 8 of 8) sorted by relevance
18 extern crate quickcheck;728 extern crate quickcheck;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()778 extern crate quickcheck;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()[all …]
290 QUICKCHECKS = $(addsuffix .quickcheck,$(BUILDS))296 qc quickcheck $(QUICKCHECKS) turbocheck \297 $(addsuffix .quickcheck,$(MODES)) $(addsuffix .quickcheck,$(ARCHES)) \357 $(addsuffix .quickcheck,$(MODES)): $$(basename $$@)359 --mode=$(basename $@) $(TESTFLAGS) --quickcheck361 $(addsuffix .quickcheck,$(ARCHES)): $$(basename $$@)363 --arch=$(basename $@) $(TESTFLAGS) --quickcheck367 --arch-and-mode=$(basename $@) $(TESTFLAGS) --quickcheck393 quickcheck: $(subst $(COMMA),$(SPACE),$(FASTCOMPILEMODES)) target395 --arch-and-mode=$(SUPERFASTTESTMODES) $(TESTFLAGS) --quickcheck \[all …]
19 quickcheck = "0.6"
912 quickcheck = 'MN'.index(s[2]) + 1 # Maybe or No914 quickcheck <<= quickcheck_shift921 quickchecks[char] |= quickcheck
192 if options.quickcheck:
1088 quickcheck = 'MN'.index(s[2]) + 1 # Maybe or No1090 quickcheck <<= quickcheck_shift1097 quickchecks[char] |= quickcheck
762 unsigned char quickcheck = record->normalization_quick_check; in is_normalized() local764 if (quickcheck & quickcheck_mask) in is_normalized()
799 unsigned char quickcheck = record->normalization_quick_check; in is_normalized() local801 if (quickcheck & quickcheck_mask) in is_normalized()