quickcheck

7熱

1答えて

私は現在働いている小さなサッカーゲームのための有限状態機械モジュールを書いた。これは、FSM（基本的に状態と遷移）を設定するためのインタフェースを提供します。各状態について、入力および終了時に、またはFSMが同じ状態のままで放置される機能を提供することができます。これらの関数はいくつかのメッセージを返します。また、時変状態を生成し、時間の経過と共に発生するメッセージを収集するリアクティブインターフ

2熱

1答えて

Djinn/UU/Examples/Equality.hsにサンプルをロードするには？

QuickCheckを使用しているcabal install Djinnの後、実行可能ファイルは./.cabal/bin/djinnになります。その後、私は、コマンドを解析することはできませんその後、./djinnその後、:load full path/UU/Examples/Equality.hs リターンは、コマンド

1熱

1答えて

scalacheckにquickcheckを追加する機能はありますか？

すべてscalacheckのものは言う：が進化しているのでだから、HaskellのQuickCheckでを見つけていない機能が拡張されて、これらの機能は何ですか？

4熱

2答えて

スモールトークのクイックチェック？

Smalltalk、特にGnu Smalltalk、Squeak、PharoのQuickCheckモジュールはありますか？ Wikipedia: QuickCheck

10熱

1答えて

ByteStringを使用したHaskell QuickCheck2？

RWHの本サポートをバイト文字列を取得するために、私は追加する必要があると述べている： instance Arbitrary B.ByteString where arbitrary = fmap B.pack arbitrary coarbitrary = coarbitrary . B.unpack しかしQuickCheck 2.4.1.1と私のGHC 7.2は、私に

14熱

2答えて

quickcheckに失敗した値を見つける

値がQuickCheckされたテストに失敗した場合、デバッグに使用したいと思います。私のデータはread、私はおそらくIOからそれを得るためにいくつかの方法をハック可能性がありますが、そうでないことができた場合は let failValue = quickCheck' myTest in someStuff failValue ：私はのような何かを行うことができますどのような方法があります。

31熱

2答えて

クイックチェックから収縮をうまく（小さく）するにはどうすればよいですか？

私は、いくつかのネストされたリストにQuickCheckを実行するには、このようなものしようとしている。だから、式はリテラルのリストであり、そのそれぞれが述語といくつかの引数が含まれてい type Constraint = Text data Value = Value [Constraint] data Literal = Literal Value [Value] type Formul

12熱

3答えて

HaskellのQuickCheckで特定の長さのリストを生成する

-- 3 (find k"th element of a list) element_at xs x = xs !! x prop_3a xs x = (x < length xs && x >= 0) ==> element_at xs (x::Int) == (xs !! x::Int) prop_3aをQuickCheckで実行すると、十分長いリストが生成されないため、QuickCh

9熱

2答えて

失敗時のクイックチェック終了ステータスとキャバレーの統合

キャブールといくつかのクイックチェックテストを統合する方法を理解しようとしています。このgistは、失敗したときにquickCheck関数がゼロ以外のステータスを返すことを示唆していますが、その動作を取得していないため、errorをテスト全体に呼び出さない限り、cabalのexitcode-stdio-1.0テストスイートタイプを使用しても機能しません。キャバルuser guideにはdetai

11熱

2答えて

連続統合によるHUnit/QuickCheck

Bambooのような連続的な統合システムがテスト結果の詳細な報告を行うことができるHUnitまたはQuickCheckの拡張機能はありますか？これまでのところ、ビルドスクリプトの一部としてテストをトリガーするだけでなく、テストがゼロ以外の終了コードで失敗することに頼っています。これは、テストが失敗したときに注意を喚起するのに効果的ですが、テストの失敗をビルドの失敗と混同し、問題の原因を特定するた