quickcheck

10गर्मी

1उत्तर

क्विक चेक 2 बैच प्रोसेसिंग

Batch क्विक चेक के मॉड्यूल को version 2 (1.2.0.1 still has it) से हटा दिया गया था। इस वजह से, मैं हमेशा mapM_ की तरह महसूस कर रहा हूं- कई परीक्षण एक साथ हैकी की तरह है। क्या मैं क्विक चेक 2 में उत्तरा

haskell batch-processing quickcheck 2012-11-23

---

16गर्मी

3उत्तर

पैरामीटर के लिए केवल वैध सूची इंडेक्स जेनरेट करने के लिए क्विक चेक को कैसे बताना है?

कहें कि मैं (!!) फ़ंक्शन के लिए कुछ यूनिट परीक्षण लिखना चाहता हूं। my_prop xs n = ... मैं ही मान्य अनुक्रमित करने के लिए n प्रतिबंधित करना चाहते हैं और मैं जानता हूँ कि मैं my_prop xs n = (not.null)

haskell quickcheck 2012-10-10

---

16गर्मी

7उत्तर

क्या नेट के लिए प्लॉह ऑटोफिक्चर के लिए जावा विकल्प है?

मैं एक जावा उपकरण की तलाश में हूं जो anonymous variables (वेरिएबल जिनके मूल्य की परवाह नहीं है) मेरे परीक्षणों में, .NET में ऑटोफिक्चर के समान होगा। यहां AutoFixture's readme का एक लिंक है, जिसमें यह

java unit-testing mocking quickcheck autofixture 2012-07-06

---

9गर्मी

1उत्तर

सशर्त QuickCheck गुण

मैं एक समारोह है कि किसी क्रमित उत्पादन में दो क्रमबद्ध आदानों विलीन हो जाती है के लिए एक QuickCheck संपत्ति लिखा था। इसे भी लिखा जा सकता है: prop_merge xs ys = not(sorted xs && sorted ys) || (sorted

haskell quickcheck 2012-10-14

---

16गर्मी

2उत्तर

क्विक चेक 1 से क्विक चेक 2 में कनवर्ट करने के लिए "कुकबुक"?

क्या क्विक चेक 1 से क्विक चेक 2 में कनवर्ट करने के लिए कोई कुकबुक उपलब्ध है? कुछ उदाहरणों के रूप में, defaultConfig (replaced by Args) और trivial हटा दिए गए और CoArbitrary पेश किए गए। मैंने what's new

haskell quickcheck 2012-05-23

---

7गर्मी

1उत्तर

हास्केल - क्विक चेक

की सहायता से पारसी परीक्षण मैं एक पारसी पार्सर के लिए एक परीक्षण लिखना चाहता हूं। data Event = Event { keyEvent :: String } deriving Show parseKey :: Parser Event parseKey = do char '<'

haskell parsec quickcheck 2012-10-19

---

12गर्मी

2उत्तर

मुहावरेदार रास्ता

मान लीजिए मैं एक रिकॉर्ड प्रकार है: data Foo = Foo {x, y, z :: Integer} एक मनमाना उदाहरण लेखन की एक स्वच्छ रास्ता इस तरह Control.Applicative उपयोग करता है: instance Arbitrary Foo where arbitrar

haskell quickcheck 2012-12-22

---

7गर्मी

1उत्तर

कैसे (मेरे मामले में सकारात्मक) Quickcheck साथ संशोधक का उपयोग करने के

मैं एक समारोह, rev, कि एक प्रकार तीन typeclasses में है कि के लिए कुछ मान देता है: rev :: (Integral a, Show a, Read a) => a -> a rev = read . reverse . show मैं कुछ परीक्षण करना चाहते हैं Quickchec

haskell quickcheck 2012-09-17

---

7गर्मी

1उत्तर

क्विक चेक

के साथ इनपुट जेनरेट करके पारसी पार्सर्स का परीक्षण करना मैं पार्ससी पार्सर्स के एक सूट के लिए परीक्षण लिखना चाहता हूं। यहाँ एक पार्सर का एक सरल उदाहरण मैं QuickCheck साथ परीक्षण करना चाहते है: identif

testing haskell parsec quickcheck 2012-06-12

---

8गर्मी

2उत्तर

स्वचालित रूप से इकट्ठा सभी quickChecks

quickCheck के एक प्रशंसक होने के नाते, मैं अपने कार्यक्रम के दौरान prop_something_something = ... की एक बहुत कुछ है। सुविधा के लिए, आसानी से उन सभी को चलाने के लिए, मैं runchecks = do quickChec

haskell quickcheck 2012-04-26

---