Stream: Coq devs & plugin devs

Topic: Running single test with Dune


view this post on Zulip 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?

view this post on Zulip 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.

view this post on Zulip Ali Caglayan (Sep 15 2022 at 19:42):

Not at the moment, the test suite is still currently being run via a makefile

view this post on Zulip 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

view this post on Zulip Ali Caglayan (Sep 15 2022 at 19:43):

I haven't found the time/interest to work on it again recently

view this post on Zulip 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

view this post on Zulip Karl Palmskog (Sep 15 2022 at 19:45):

wasn't clear from the question, but feel free to move back if you think so

view this post on Zulip 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: Feb 06 2023 at 00:03 UTC