CoCoA » CoCoA-5

06 Jul 2023

12:14 Feature #1752: Make it easy to run the tests in a public/distrib version

One possibility is to include the @src/CoCoA-5/tests@ directory in the distribution... it is no doubt small in compar... John Abbott

12:12 Feature #1752 (New): Make it easy to run the tests in a public/distrib version

It is not currently so easy to verify that the distributed "pre-compiled" version of CoCoA-5 passes all the tests.
M... John Abbott