While performing small code touch ups, I encountered an issue with dune build @ptests.
For some reason dune build @ptests will not overwrite files in _build/default/tests/general/result/. This directory is where the result logs of the tests are stored and checked against the oracles. When these logs aren't overwritten it makes dune build @ptests compare the oracles with old results from previous test runs. Essentially, the tests aren't performed while still presenting as if they are. I inadvertently introduced 2 bugs (now fixed) because of this.
It still performs the tests properly if _build/default/tests/general/result/ is empty so running rm -f _build/default/tests/general/result/* before dune build @ptests will yield the correct test results.
While performing small code touch ups, I encountered an issue with
dune build @ptests.For some reason
dune build @ptestswill not overwrite files in_build/default/tests/general/result/. This directory is where the result logs of the tests are stored and checked against the oracles. When these logs aren't overwritten it makesdune build @ptestscompare the oracles with old results from previous test runs. Essentially, the tests aren't performed while still presenting as if they are. I inadvertently introduced 2 bugs (now fixed) because of this.It still performs the tests properly if
_build/default/tests/general/result/is empty so runningrm -f _build/default/tests/general/result/*beforedune build @ptestswill yield the correct test results.