Stream: Dune devs & users

Topic: Confused with cram tests using Coq in the dune repo


view this post on Zulip Rodolphe Lepigre (Mar 16 2023 at 08:22):

I want to work on fixing a dune bug, and for some reason I don't seem to be able to run cram tests (form the dune repo). They are simply not run when I call ./dune.exe build @test-alias(the command does not fail), even if I add an $ exit 1 line in the test. Do I need to do anything special for these tests to be enabled? I recall making and running tests like those a few months ago, and never had that problem.


Last updated: May 25 2024 at 20:01 UTC