test modules and license

[Bruno Haible]

Under which license should tests module be?

If I have an LGPLed module, should its -tests module be LGPL or GPL?

The argument for making it LGPL is that an LGPLed package can include
them without making a complicated license statement like "the library
source is under LGPL, the testsuite under GPL, and the doc under GFDL".
It makes is easier to exchange code between the library and its testsuite.

The argument for making it GPL is that the test programs may need some
facilities which are suitable for programs, such as 'error', 'progname',
'xalloc' etc.

If the answer to the above question is LGPL: Six months ago, in the
'stdint' tests module, I used the 'intprops' module. Paul, can you put
it under LGPL?

Bruno