Add pretest
dune runtest
が結構時間がかかるので、
実装がバグっていることを早期に気付けるよう dune runtest pretest
を導入したい気持ちになった
-
tests/
のコードから test 本体以外のコードをtests/lib
に移動 -
tests/
のテストから手動で生成されてそうなケースをpretest/
に移動-
dune runtest
の実行時間の総量はほぼ変わらないはず - 手動のケースだけを pretest として十分かはよくわからない
-
Edited by taiseiKMC