OCaml で記述されたパーサー関数があり、入力ファイルは .xsd、出力は Coq 形式です。
パーサーを 2 つの異なる入力 ( .xsd) でテストしました。一方には60.2KBサイズがあり、もう一方には121.0KB(サイズ) があります。以前timeは実行時間を返していましたが、結果は次のとおりです。
xsd には60.2KBテイクがあります:user: 0m2.792s
xsd には121.0KBテイクがあります:user : 0m37.838s
時間が入力ファイルのサイズに依存することは明らかです。
ばかげた質問がありますが、実際に実行時間が入力ファイルのサイズに依存していることを確認したいだけですか?
私の解析関数では、多くの関数を使用しましたが、たとえば次のような構造があります。
let genr_type b = function
| Elt (n, Some t, _, _) -> ...
| Group (n, Some t, _, _) -> ...
| ... -> ...
パーサーに時間がかかりますか？どうもありがとうございました