Unit tests with dune
Tests are currently done from a generated dune file (see https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/-/blob/polymorphic/tests/full/good/dune.auto for example)
Is there a better way of doing it?
Tests are currently done from a generated dune file (see https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/-/blob/polymorphic/tests/full/good/dune.auto for example)
Is there a better way of doing it?