Searched refs:quickcheck (Results 1 – 2 of 2) sorted by relevance
248 QUICKCHECKS = $(addsuffix .quickcheck,$(BUILDS))255 qc quickcheck $(QUICKCHECKS) \256 $(addsuffix .quickcheck,$(MODES)) $(addsuffix .quickcheck,$(ARCHES)) \331 $(addsuffix .quickcheck,$(MODES)): $$(basename $$@)333 --mode=$(basename $@) $(TESTFLAGS) --quickcheck335 $(addsuffix .quickcheck,$(ARCHES)): $$(basename $$@)337 --arch=$(basename $@) $(TESTFLAGS) --quickcheck341 --arch-and-mode=$(basename $@) $(TESTFLAGS) --quickcheck376 quickcheck: $(subst $(COMMA),$(SPACE),$(FASTCOMPILEMODES)) target378 --arch-and-mode=$(SUPERFASTTESTMODES) $(TESTFLAGS) --quickcheck \[all …]
328 if options.quickcheck: