Stream: Coq users

Topic: dune: How to have unit tests


view this post on Zulip Li-yao (Jul 21 2020 at 22:45):

Say I have some Coq files in a subdirectory test/, how to tell dune to make sure they build, but not to include them as part of the library?

view this post on Zulip Karl Palmskog (Jul 21 2020 at 22:46):

this is a question best asked in the Dune stream, but see for example: https://github.com/ejgallego/coq-serapi/tree/v8.11/tests/quick


Last updated: Feb 06 2023 at 12:04 UTC