Skip to content

Add pretest

taiseiKMC requested to merge hsaito@pretest into master

dune runtest が結構時間がかかるので、 実装がバグっていることを早期に気付けるよう dune runtest pretest を導入したい気持ちになった

  • tests/ のコードから test 本体以外のコードを tests/lib に移動
  • tests/ のテストから手動で生成されてそうなケースを pretest/ に移動
    • dune runtest の実行時間の総量はほぼ変わらないはず
    • 手動のケースだけを pretest として十分かはよくわからない
Edited by taiseiKMC

Merge request reports