Project

General

Profile

Feature #1752

Make it easy to run the tests in a public/distrib version

Added by John Abbott 10 months ago. Updated 10 months ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
enhancing/improving
Target version:
CoCoA-5.4.4
Start date:
06 Jul 2023
Due date:
% Done:

0%

Estimated time:
Spent time:
0.25 h

Description

It is not currently so easy to verify that the distributed "pre-compiled" version of CoCoA-5 passes all the tests.
Make this easier.

History

#1 Updated by John Abbott 10 months ago

One possibility is to include the src/CoCoA-5/tests directory in the distribution... it is no doubt small in comparison to the size of the executable (so won't make the distribution significantly bigger.
The relevant script is src/CoCoA-5/tests/RunTests.sh

Also available in: Atom PDF