CoCoA » CoCoALib

I have noticed that there some tests which run quickly (e.g. less than 0.01s on my computer), but the compilation time is considerably longer (e.g. around 0.7s on my computer).

It may make some sense to condense several tests into a single file in the hope that the compilation time for the single file is rather less than that for the several small files.

• make executables takes about 105s on my computer
• make check (after compiling the executables) takes about 15s on my computer

That is: almost 90% of the time is for compilation and linking. I would hope that we can make compilation time about the same length as execution time... (am I too optimistic?)

I have just checked that running all test-bugNNN executables takes about 0.03s on my computer. Since these files are "miscellaneous", I see no real objection against combining them into one larger test.

Compiling all these files took about 15s (roughly 1.5s per file)

I added a new "exbug" to one of the test-bugN.C files, and noticed that it was quite a nuisance having to add all the appropriate include directives. So, I suggest that if we do opt to combine several exbugs into a single file then we might as well simply include the combined header file for CoCoALib -- I think this is justifiable since the tests are likely to cover many different areas of CoCoALib.

The structure I used in my one experiment is the following:

#include "CoCoA/library.H

void exbug123()
{
  ...
}

void exbug456()
{
  ...
}

void program()
{
  GlobalManager CoCoAFoundations;
  exbug123();
  exbug456();
}

Anna approves of merging the exbugs into a single file, and to including CoCoA/library.H.

Do this (soon!)