search

antoinemine / apron

Apron Numerical Abstract Domain Library
Other
114 stars 33 forks source link

Please add to the README how to run tests #110

Closed yurivict closed 3 months ago

yurivict commented 5 months ago

Commands make test or make check don't work.

antoinemine commented 5 months ago

There is no test nor check target in the toplevel Makfile (the reason make test returns without an error but without doing any action is that there is a directory named test, so, make thinks the test target is already built). There is no plan at the moment to add these targets (but you are welcome to propose a patch in this direction).

Some of the domains do feature tests. How to run them is documented in the README file in their respective directory.