[petsc-users] make check vs make test

[Satish Balay]

In prior releases - 'make test' was same as 'make check'

With petsc-3.13 - 'make test' is now the full test suite.

If you were using 'make test' previously - the appropriate thing now is 'make check'

Satish

On Thu, 21 May 2020, Adrian Croucher wrote:

> hi
> 
> In the latest PETSc version (3.13), 'make test' seems to be doing a much more
> comprehensive set of tests than it used to.
> 
> That is ok except that I have a CI pipeline which builds PETSc and my code,
> and then runs my tests. It also does a 'make test' after building PETSc and
> that is now making the CI time out.
> 
> At the end of the PETSc build process it says I should run 'make check' to
> "check if the libraries are working". I can't seem to find any documentation
> on what 'make check' actually does, but it looks like it runs a much reduced
> set of tests. Currently I am running both 'make check' and 'make test'.
> 
> For this use case should it be sufficient to run 'make check' and omit 'make
> test'?
> 
> - Adrian
> 
>