0

入力ファイルと目的の解析を並行して生成する QuickCheck スクリプトを使用してテストする小さな Parsec プログラムがあります。

私のテストは通常​​ 100 個のテストを正常に実行しますが、何かを何気なくテストしていると、突然、非常に大きな (600,000 文字) カウンター例で失敗しました。エラーの原因がわかったとき、私は非常に混乱しました。

\ETX\NUL\202&Hxv4\an3z\244\143\222\RS\236\n\150K

私のプログラムではalphaNum、アンダースコア、および空白しか使用していませんが、QuickCheckは変数名に対して上記の文字列を生成したようです。

上記のシーケンスが発生する理由がわかりましたか? どこかのオーバーフローエラーではないでしょうか? または、QuickCheck が一時的にメモリ不足になり、デバッグ メッセージを書き込んでいますか?

4

1 に答える 1