リアクティブ用のテストの強化

[rsk0315]

resolves https://github.com/online-judge-tools/oj/issues/899

• [x] サブコマンドの実装
• [ ] 単体テスト

---

追加内容

撃墜ケースを見つける前提であれば、見つけたケースを後から利用できる形式のテストがあるのが好ましいと思いました。 現状の t/r では、ジャッジコマンドが都度ケースを生成する前提になっており、これに適していなさそうです。

それを踏まえ、以下のオプション・サブコマンドを追加しました：

• ~t/rf~ t/r -i：テストケースを読んで処理を行うジャッジ用のテスト
  • $ for f in test/* ; [[ -e a.pipe ]] && rm a.pipe ; mkfifo a.pipe && ./a.out < a.pipe | ./judge $f > a.pipe ; done に相当
  • $f には、提出プログラムに見せないジャッジ用のデータが入るのを想定（ジャッジが任意に利用）
    • テストケースの生成にはリアクティブは不要なので、g/i などで生成可能
    • adaptive のジャッジであっても、入力サイズやシードなどを固定するために使えるはず
• g/r：リアクティブ用の生成コマンド
  • ジェネレータを使わない場合は、ケース生成も行うジャッジ（t/r で使うのと同じ）を仮定
    • ジャッジプログラム側で再現用の情報を表示する？
  • ジェネレータを使う場合は、テストケースを読むジャッジを仮定
    • 撃墜ケースの保存も行う

例

% # ジェネレータなしで hack
% oj g/r -d test/e target/release/e-wa target/release/e-judge-self-gen
% # ジェネレータを用いて hack + ケースの保存
% oj g/r -d test/e -g target/release/e-gen target/release/e-wa target/release/e-judge
% # 生成したファイルを用いてテスト
% oj t/r -i -c target/release/e target/release/e-judge test/e/*

懸念

• ~t/rf のエイリアスは微妙な感じがする~
  • ~t/r のオプションに -i, --from-file のようなのを足した方がよかったか~
  • ~-i を使うとデフォルトでは test/ のファイルを使用、-d DIR でディレクトリを指定など、他と合わせる感じで~
  • → t/r -i に変更
• g/r は g/i と違って hack が前提なので、h/r hack-reactive などにした方がよい？
  • 対象の実行ファイルのデフォルトを ./a.out にして oj h/r -c ./hacked -g ./generator ./judge とかにしてしまう？