Gregory Malecha (Sep 15 2022 at 19:28): Gregory Malecha (Sep 15 2022 at 19:28):Is there a way to run a single test from the test suite using a direct call to dune? something like dune build success/sprop.vo?
Notification Bot (Sep 15 2022 at 19:38):This topic was moved here from #Coq devs & plugin devs > Running single test with Dune by Karl Palmskog.
Ali Caglayan (Sep 15 2022 at 19:42):Not at the moment, the test suite is still currently being run via a makefile
Ali Caglayan (Sep 15 2022 at 19:43):There is a WIP PR converting this effort to Dune however https://github.com/coq/coq/pull/13364
Ali Caglayan (Sep 15 2022 at 19:43):I haven't found the time/interest to work on it again recently
Ali Caglayan (Sep 15 2022 at 19:44):Also @Karl Palmskog I feel like this belongs in the dev stream since is about the devs use of dune
Karl Palmskog (Sep 15 2022 at 19:45):wasn't clear from the question, but feel free to move back if you think so
Notification Bot (Sep 15 2022 at 20:43):This topic was moved here from #Dune devs & users > Running single test with Dune by Théo Zimmermann.
Last updated: Apr 19 2024 at 18:01 UTC