c/tests/config.h.in

const int nTimePermitTests = @MPIN_TIME_PERMIT_TESTS@;
const int nRandomTests = @MPIN_RANDOM_TESTS@;