diff options
Diffstat (limited to 'source/genCases_writeTestsTotal.c')
| -rw-r--r-- | source/genCases_writeTestsTotal.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/source/genCases_writeTestsTotal.c b/source/genCases_writeTestsTotal.c index 8ad6f91..10d8398 100644 --- a/source/genCases_writeTestsTotal.c +++ b/source/genCases_writeTestsTotal.c @@ -38,13 +38,14 @@ SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. #include <stdio.h> #include "platform.h" #include "genCases.h" +#include "verCases.h" void genCases_writeTestsTotal( bool forever ) { if ( forever ) { fputs( "Unbounded tests.\n", stderr ); - } else { + } else if (verCases_verbosity) { if ( 2000000000 <= genCases_total ) { fprintf( stderr, |