If I download dune-starter and run the tests like this, I get some output, as expected:
$ dune runtest -f
run_tests alias test/runtest
Testing `proj'.
This run has ID `57543AFA-7473-4F1C-8C1F-8247B4380034'.
[OK] Sub1.A 0 time.
[OK] Sub1.B 0 string.
[OK] Sub1.B 1 string, hasty.
Full test results in `~/dev/dune-starter/proj/_build/default/test/_build/_tests/proj'.
Test Successful in 0.000s. 3 tests run.
On the other hand, if I run it with a directory, which the docs say is supposed to run just the tests in that directory, I get no output:
$ dune runtest -f sub1/test
In fact, the second command does not run the tests in that directory: I can break them, but it still exits successfully and prints nothing.
How can I run just the tests in a particular directory? I ask because I want to run just my own tests, not those of opam dependencies (which alcotest/dune seems to do – for example if I add sqlite3 as a dependency, it runs the tests for that package).
4 posts - 3 participants