quickcheck

1熱

1答えて

ハスケルの任意の文字列ジェネレータ（Test.QuickCheck.Gen）

私は代数データ型のReal World Haskell Chapter 11quickCheckジェネレータの実装に苦労しています。（2008年に出版された）の本実装後、私は次のを思い付いた： -- file: ch11/Prettify2.hs module Prettify2( Doc(..) ) where data Doc = Empty | Char Cha

1熱

1答えて

pytest-hypothesis run間のテスト分離

私はPyTestテストスイートをquickcheckからhypothesisに移行しました。これは非常にうまくいっていました（そしてすぐに隠されたケースのバグを発見しました）が、私が見る大きな違いの1つは、2つのプロパティマネージャ間のテスト分離です。 quickcheck私は、関数スコープのフィクスチャを実行するたびに、異なるパラメータ値でテスト関数を複数回実行しているようです。これにより、py

1熱

1答えて

適用可能な準同形性を迅速にチェックするには？練習として

、私はquickCheckに応用的の準同型プロパティしようとしています：私は一般的なプロパティを記述しようとすると < F純粋 *>純粋X =（FX）純粋をファントムの種類を使用して、私は無限のエラーを推論できないように見える。この時点で、私はコードに多くの型の注釈を追加しましたが、まだこれらのエラーが発生しています。 {-# LANGUAGE ViewPatterns #-} import

-3熱

1答えて

任意のインスタンスHaskell

私はHaskellプログラムで任意のインスタンスを作成する必要があります。私は（デッキタイプの）デッキを作成しています。デッキはカードのリストです。デッキプログラムは、新しいデッキをランダム化するために、mkStdGenと数字を使用してシードを促します。このデッキでは、QuickTestプロパティテストに合格するために、任意のインスタンスが必要です。ここではいくつかのコード data Cart

2熱

1答えて

多くのケースを破棄してカスタムジェネレータが失敗したScalacheckテストはなぜですか？これを修正するにはどうすればよいですか？

私はScalaの初心者です。私は最初のScalacheckスイートを書いています。私は(List[Double], List[Double])のような本質的には_1の各要素が_2の対応する要素よりも厳密に大きい場合にのみ整形式のデータ構造を持っています。実際には少し複雑です（このMWEの目的のために、そこにすべてがあるとは思うかもしれませんが）、私はカスタム発電機を作成しました。私は、その後

1熱

1答えて

おいしいクイックチェックでquickCheckAll関数を使用する

ショートバージョン：おいしいクイックチェックでquickCheckAll機能を使用できますか？ロングバージョン： quickCheckAll関数は、次の例を示しているように、現在のモジュールにprop_始まる全て特性をテスト： {-# LANGUAGE TemplateHaskell #-} module Main where import Test.QuickCheck (quickC

0熱

1答えて

Macで 'Test.QuickCheck'モジュールが見つかりませんでした

私のコードをテストしようとすると、IntelliJは私にこのエラーを教えてくれました。しかし、私はcabalを使ってQuickCheckをインストールしました。

1熱

1答えて

tasty-quickcheckでモナドIOプロパティをチェックするには？

tasty-quickcheckでmonadicIOプロパティをテストするにはどうすればよいですか？私は、testCaseが（HUnitから来ている）期待通りに動作しているところで、次のように試しましたが、testProperty（QuickCheckから）はコンパイルされません。 import Test.Common import Models.Client as Client import

2熱

2答えて

私は、次の機能を持たせて与えられた機能のために複数の任意のパラメータ

コンテキストを生成するQuickCheckを使用した： -- instance PrivKey RSA.PrivateKey RSA.PublicKey where... genRSA :: Gen RSA.PrivateKey genRSAMessage :: Gen BS.ByteString main = do quickCheck . verbose $ fo

2熱

2答えて

Haskellの任意の型クラスのインスタンス戻り値の型

、私はここで quickCheck (semigroupAssoc :: IdentAssoc) で呼び出す、 semigroupAssoc :: (Eq m, S.Semigroup m) => m -> m -> m -> Bool semigroupAssoc a b c = (a S.<> (b S.<> c)) == ((a S.<> b) S.<> c) type