2017-08-18 23:52:05 +00:00
|
|
|
/*
|
2017-09-08 07:09:23 +00:00
|
|
|
* Copyright (c) 2015-present, Yann Collet, Facebook, Inc.
|
2016-08-30 17:04:33 +00:00
|
|
|
* All rights reserved.
|
|
|
|
*
|
2017-08-18 23:52:05 +00:00
|
|
|
* This source code is licensed under both the BSD-style license (found in the
|
|
|
|
* LICENSE file in the root directory of this source tree) and the GPLv2 (found
|
|
|
|
* in the COPYING file in the root directory of this source tree).
|
2017-09-08 07:09:23 +00:00
|
|
|
* You may select, at your option, one of the above-listed licenses.
|
2016-08-30 17:04:33 +00:00
|
|
|
*/
|
2015-11-26 08:59:49 +00:00
|
|
|
|
|
|
|
|
2016-04-01 13:48:48 +00:00
|
|
|
/*-************************************
|
2015-11-26 08:59:49 +00:00
|
|
|
* Compiler specific
|
|
|
|
**************************************/
|
|
|
|
#ifdef _MSC_VER /* Visual Studio */
|
|
|
|
# define _CRT_SECURE_NO_WARNINGS /* fgets */
|
|
|
|
# pragma warning(disable : 4127) /* disable: C4127: conditional expression is constant */
|
|
|
|
# pragma warning(disable : 4146) /* disable: C4146: minus unsigned expression */
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
2016-04-01 13:48:48 +00:00
|
|
|
/*-************************************
|
2015-11-26 08:59:49 +00:00
|
|
|
* Includes
|
|
|
|
**************************************/
|
2016-05-25 09:31:16 +00:00
|
|
|
#include <stdlib.h> /* free */
|
|
|
|
#include <stdio.h> /* fgets, sscanf */
|
2016-09-02 01:11:12 +00:00
|
|
|
#include <time.h> /* clock_t, clock() */
|
2016-05-25 09:31:16 +00:00
|
|
|
#include <string.h> /* strcmp */
|
2015-11-26 08:59:49 +00:00
|
|
|
#include "mem.h"
|
2016-06-04 17:47:02 +00:00
|
|
|
#define ZSTD_STATIC_LINKING_ONLY /* ZSTD_maxCLevel */
|
|
|
|
#include "zstd.h" /* ZSTD_compressBound */
|
2016-12-13 15:39:36 +00:00
|
|
|
#define ZBUFF_STATIC_LINKING_ONLY /* ZBUFF_createCCtx_advanced */
|
|
|
|
#include "zbuff.h" /* ZBUFF_isError */
|
2016-05-25 09:31:16 +00:00
|
|
|
#include "datagen.h" /* RDG_genBuffer */
|
2016-05-28 11:34:07 +00:00
|
|
|
#define XXH_STATIC_LINKING_ONLY
|
2016-06-04 17:12:48 +00:00
|
|
|
#include "xxhash.h" /* XXH64_* */
|
2015-11-26 08:59:49 +00:00
|
|
|
|
|
|
|
|
2016-04-01 13:48:48 +00:00
|
|
|
/*-************************************
|
|
|
|
* Constants
|
2015-11-26 08:59:49 +00:00
|
|
|
**************************************/
|
|
|
|
#define KB *(1U<<10)
|
|
|
|
#define MB *(1U<<20)
|
|
|
|
#define GB *(1U<<30)
|
|
|
|
|
2015-11-26 09:32:17 +00:00
|
|
|
static const U32 nbTestsDefault = 10000;
|
2015-11-26 08:59:49 +00:00
|
|
|
#define COMPRESSIBLE_NOISE_LENGTH (10 MB)
|
|
|
|
#define FUZ_COMPRESSIBILITY_DEFAULT 50
|
|
|
|
static const U32 prime1 = 2654435761U;
|
|
|
|
static const U32 prime2 = 2246822519U;
|
|
|
|
|
|
|
|
|
|
|
|
|
2016-04-01 13:48:48 +00:00
|
|
|
/*-************************************
|
2015-11-26 08:59:49 +00:00
|
|
|
* Display Macros
|
|
|
|
**************************************/
|
|
|
|
#define DISPLAY(...) fprintf(stderr, __VA_ARGS__)
|
|
|
|
#define DISPLAYLEVEL(l, ...) if (g_displayLevel>=l) { DISPLAY(__VA_ARGS__); }
|
|
|
|
static U32 g_displayLevel = 2;
|
|
|
|
|
|
|
|
#define DISPLAYUPDATE(l, ...) if (g_displayLevel>=l) { \
|
2016-09-02 01:11:12 +00:00
|
|
|
if ((FUZ_GetClockSpan(g_displayClock) > g_refreshRate) || (g_displayLevel>=4)) \
|
|
|
|
{ g_displayClock = clock(); DISPLAY(__VA_ARGS__); \
|
2017-03-23 18:13:52 +00:00
|
|
|
if (g_displayLevel>=4) fflush(stderr); } }
|
2016-09-02 01:11:12 +00:00
|
|
|
static const clock_t g_refreshRate = CLOCKS_PER_SEC * 15 / 100;
|
|
|
|
static clock_t g_displayClock = 0;
|
2015-11-26 09:52:30 +00:00
|
|
|
|
2016-09-02 01:11:12 +00:00
|
|
|
static clock_t g_clockTime = 0;
|
2015-11-26 08:59:49 +00:00
|
|
|
|
|
|
|
|
2016-04-01 13:48:48 +00:00
|
|
|
/*-*******************************************************
|
2015-11-26 08:59:49 +00:00
|
|
|
* Fuzzer functions
|
|
|
|
*********************************************************/
|
|
|
|
#define MAX(a,b) ((a)>(b)?(a):(b))
|
|
|
|
|
2016-09-02 01:11:12 +00:00
|
|
|
static clock_t FUZ_GetClockSpan(clock_t clockStart)
|
2015-11-26 08:59:49 +00:00
|
|
|
{
|
2016-09-02 01:11:12 +00:00
|
|
|
return clock() - clockStart; /* works even when overflow. Max span ~ 30 mn */
|
2015-11-26 08:59:49 +00:00
|
|
|
}
|
|
|
|
|
2016-04-04 00:47:20 +00:00
|
|
|
/*! FUZ_rand() :
|
|
|
|
@return : a 27 bits random value, from a 32-bits `seed`.
|
|
|
|
`seed` is also modified */
|
2015-11-26 08:59:49 +00:00
|
|
|
# define FUZ_rotl32(x,r) ((x << r) | (x >> (32 - r)))
|
2016-04-04 00:47:20 +00:00
|
|
|
unsigned int FUZ_rand(unsigned int* seedPtr)
|
2015-11-26 08:59:49 +00:00
|
|
|
{
|
2016-04-04 00:47:20 +00:00
|
|
|
U32 rand32 = *seedPtr;
|
2015-11-26 08:59:49 +00:00
|
|
|
rand32 *= prime1;
|
|
|
|
rand32 += prime2;
|
|
|
|
rand32 = FUZ_rotl32(rand32, 13);
|
2016-04-04 00:47:20 +00:00
|
|
|
*seedPtr = rand32;
|
2015-11-26 08:59:49 +00:00
|
|
|
return rand32 >> 5;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/*
|
|
|
|
static unsigned FUZ_highbit32(U32 v32)
|
|
|
|
{
|
|
|
|
unsigned nbBits = 0;
|
|
|
|
if (v32==0) return 0;
|
|
|
|
for ( ; v32 ; v32>>=1) nbBits++;
|
|
|
|
return nbBits;
|
|
|
|
}
|
|
|
|
*/
|
|
|
|
|
2016-06-02 16:24:07 +00:00
|
|
|
static void* ZBUFF_allocFunction(void* opaque, size_t size)
|
2016-05-24 13:35:48 +00:00
|
|
|
{
|
|
|
|
void* address = malloc(size);
|
2016-06-02 20:15:09 +00:00
|
|
|
(void)opaque;
|
2016-06-02 14:52:36 +00:00
|
|
|
/* DISPLAYLEVEL(4, "alloc %p, %d opaque=%p \n", address, (int)size, opaque); */
|
2016-05-24 13:35:48 +00:00
|
|
|
return address;
|
|
|
|
}
|
|
|
|
|
2016-06-02 16:24:07 +00:00
|
|
|
static void ZBUFF_freeFunction(void* opaque, void* address)
|
2016-05-24 13:35:48 +00:00
|
|
|
{
|
2016-06-02 11:04:18 +00:00
|
|
|
(void)opaque;
|
2016-06-02 14:52:36 +00:00
|
|
|
/* if (address) DISPLAYLEVEL(4, "free %p opaque=%p \n", address, opaque); */
|
2016-05-24 13:35:48 +00:00
|
|
|
free(address);
|
|
|
|
}
|
|
|
|
|
|
|
|
static int basicUnitTests(U32 seed, double compressibility, ZSTD_customMem customMem)
|
2015-11-26 08:59:49 +00:00
|
|
|
{
|
|
|
|
int testResult = 0;
|
|
|
|
size_t CNBufferSize = COMPRESSIBLE_NOISE_LENGTH;
|
2016-04-04 02:22:53 +00:00
|
|
|
void* CNBuffer = malloc(CNBufferSize);
|
2016-05-31 10:43:46 +00:00
|
|
|
size_t const skippableFrameSize = 11;
|
|
|
|
size_t const compressedBufferSize = (8 + skippableFrameSize) + ZSTD_compressBound(COMPRESSIBLE_NOISE_LENGTH);
|
2016-04-04 02:22:53 +00:00
|
|
|
void* compressedBuffer = malloc(compressedBufferSize);
|
|
|
|
size_t const decodedBufferSize = CNBufferSize;
|
|
|
|
void* decodedBuffer = malloc(decodedBufferSize);
|
2016-06-01 07:16:11 +00:00
|
|
|
size_t cSize, readSize, readSkipSize, genSize;
|
2015-11-26 08:59:49 +00:00
|
|
|
U32 testNb=0;
|
2016-05-24 13:35:48 +00:00
|
|
|
ZBUFF_CCtx* zc = ZBUFF_createCCtx_advanced(customMem);
|
|
|
|
ZBUFF_DCtx* zd = ZBUFF_createDCtx_advanced(customMem);
|
2015-11-26 08:59:49 +00:00
|
|
|
|
|
|
|
/* Create compressible test buffer */
|
2016-04-01 13:48:48 +00:00
|
|
|
if (!CNBuffer || !compressedBuffer || !decodedBuffer || !zc || !zd) {
|
2015-11-26 08:59:49 +00:00
|
|
|
DISPLAY("Not enough memory, aborting\n");
|
|
|
|
goto _output_error;
|
|
|
|
}
|
2016-05-18 15:18:48 +00:00
|
|
|
RDG_genBuffer(CNBuffer, CNBufferSize, compressibility, 0., seed);
|
2015-11-26 08:59:49 +00:00
|
|
|
|
2016-05-31 10:43:46 +00:00
|
|
|
/* generate skippable frame */
|
|
|
|
MEM_writeLE32(compressedBuffer, ZSTD_MAGIC_SKIPPABLE_START);
|
2016-05-31 11:36:14 +00:00
|
|
|
MEM_writeLE32(((char*)compressedBuffer)+4, (U32)skippableFrameSize);
|
2016-05-31 10:43:46 +00:00
|
|
|
cSize = skippableFrameSize + 8;
|
2016-06-05 22:26:38 +00:00
|
|
|
|
2015-11-26 08:59:49 +00:00
|
|
|
/* Basic compression test */
|
|
|
|
DISPLAYLEVEL(4, "test%3i : compress %u bytes : ", testNb++, COMPRESSIBLE_NOISE_LENGTH);
|
2016-01-26 15:31:22 +00:00
|
|
|
ZBUFF_compressInitDictionary(zc, CNBuffer, 128 KB, 1);
|
2015-11-26 08:59:49 +00:00
|
|
|
readSize = CNBufferSize;
|
|
|
|
genSize = compressedBufferSize;
|
2016-06-01 07:16:11 +00:00
|
|
|
{ size_t const r = ZBUFF_compressContinue(zc, ((char*)compressedBuffer)+cSize, &genSize, CNBuffer, &readSize);
|
2016-05-31 22:44:36 +00:00
|
|
|
if (ZBUFF_isError(r)) goto _output_error; }
|
2015-11-26 08:59:49 +00:00
|
|
|
if (readSize != CNBufferSize) goto _output_error; /* entire input should be consumed */
|
2016-05-31 10:43:46 +00:00
|
|
|
cSize += genSize;
|
2015-11-26 08:59:49 +00:00
|
|
|
genSize = compressedBufferSize - cSize;
|
2016-05-31 22:44:36 +00:00
|
|
|
{ size_t const r = ZBUFF_compressEnd(zc, ((char*)compressedBuffer)+cSize, &genSize);
|
2016-08-26 07:05:06 +00:00
|
|
|
if (r != 0) goto _output_error; } /* error, or some data not flushed */
|
2015-11-26 08:59:49 +00:00
|
|
|
cSize += genSize;
|
|
|
|
DISPLAYLEVEL(4, "OK (%u bytes : %.2f%%)\n", (U32)cSize, (double)cSize/COMPRESSIBLE_NOISE_LENGTH*100);
|
|
|
|
|
2016-06-05 22:26:38 +00:00
|
|
|
/* skippable frame test */
|
|
|
|
DISPLAYLEVEL(4, "test%3i : decompress skippable frame : ", testNb++);
|
2016-01-26 14:58:49 +00:00
|
|
|
ZBUFF_decompressInitDictionary(zd, CNBuffer, 128 KB);
|
2016-05-31 17:36:51 +00:00
|
|
|
readSkipSize = cSize;
|
2015-11-26 08:59:49 +00:00
|
|
|
genSize = CNBufferSize;
|
2016-06-01 07:16:11 +00:00
|
|
|
{ size_t const r = ZBUFF_decompressContinue(zd, decodedBuffer, &genSize, compressedBuffer, &readSkipSize);
|
|
|
|
if (r != 0) goto _output_error; }
|
|
|
|
if (genSize != 0) goto _output_error; /* skippable frame len is 0 */
|
2016-06-05 22:26:38 +00:00
|
|
|
DISPLAYLEVEL(4, "OK \n");
|
|
|
|
|
|
|
|
/* Basic decompression test */
|
|
|
|
DISPLAYLEVEL(4, "test%3i : decompress %u bytes : ", testNb++, COMPRESSIBLE_NOISE_LENGTH);
|
2016-05-31 17:36:51 +00:00
|
|
|
ZBUFF_decompressInitDictionary(zd, CNBuffer, 128 KB);
|
|
|
|
readSize = cSize - readSkipSize;
|
2015-11-26 08:59:49 +00:00
|
|
|
genSize = CNBufferSize;
|
2016-06-01 07:16:11 +00:00
|
|
|
{ size_t const r = ZBUFF_decompressContinue(zd, decodedBuffer, &genSize, ((char*)compressedBuffer)+readSkipSize, &readSize);
|
2016-05-31 22:44:36 +00:00
|
|
|
if (r != 0) goto _output_error; } /* should reach end of frame == 0; otherwise, some data left, or an error */
|
2015-11-26 08:59:49 +00:00
|
|
|
if (genSize != CNBufferSize) goto _output_error; /* should regenerate the same amount */
|
2016-05-31 17:36:51 +00:00
|
|
|
if (readSize+readSkipSize != cSize) goto _output_error; /* should have read the entire frame */
|
2015-11-26 08:59:49 +00:00
|
|
|
DISPLAYLEVEL(4, "OK \n");
|
|
|
|
|
2016-05-10 12:14:19 +00:00
|
|
|
/* check regenerated data is byte exact */
|
2016-06-05 22:26:38 +00:00
|
|
|
DISPLAYLEVEL(4, "test%3i : check decompressed result : ", testNb++);
|
2016-05-10 12:14:19 +00:00
|
|
|
{ size_t i;
|
|
|
|
for (i=0; i<CNBufferSize; i++) {
|
|
|
|
if (((BYTE*)decodedBuffer)[i] != ((BYTE*)CNBuffer)[i]) goto _output_error;;
|
2016-06-05 22:26:38 +00:00
|
|
|
} }
|
|
|
|
DISPLAYLEVEL(4, "OK \n");
|
2016-05-10 12:14:19 +00:00
|
|
|
|
|
|
|
/* Byte-by-byte decompression test */
|
2016-05-10 13:30:43 +00:00
|
|
|
DISPLAYLEVEL(4, "test%3i : decompress byte-by-byte : ", testNb++);
|
2016-05-31 17:36:51 +00:00
|
|
|
{ size_t r, pIn=0, pOut=0;
|
2016-06-01 15:44:53 +00:00
|
|
|
do
|
2016-05-31 17:36:51 +00:00
|
|
|
{ ZBUFF_decompressInitDictionary(zd, CNBuffer, 128 KB);
|
|
|
|
r = 1;
|
|
|
|
while (r) {
|
|
|
|
size_t inS = 1;
|
|
|
|
size_t outS = 1;
|
|
|
|
r = ZBUFF_decompressContinue(zd, ((BYTE*)decodedBuffer)+pOut, &outS, ((BYTE*)compressedBuffer)+pIn, &inS);
|
|
|
|
pIn += inS;
|
|
|
|
pOut += outS;
|
|
|
|
}
|
|
|
|
readSize = pIn;
|
|
|
|
genSize = pOut;
|
|
|
|
} while (genSize==0);
|
2016-05-10 12:14:19 +00:00
|
|
|
}
|
|
|
|
if (genSize != CNBufferSize) goto _output_error; /* should regenerate the same amount */
|
|
|
|
if (readSize != cSize) goto _output_error; /* should have read the entire frame */
|
|
|
|
DISPLAYLEVEL(4, "OK \n");
|
|
|
|
|
2015-11-26 08:59:49 +00:00
|
|
|
/* check regenerated data is byte exact */
|
2016-06-05 22:26:38 +00:00
|
|
|
DISPLAYLEVEL(4, "test%3i : check decompressed result : ", testNb++);
|
2016-04-01 13:48:48 +00:00
|
|
|
{ size_t i;
|
|
|
|
for (i=0; i<CNBufferSize; i++) {
|
2015-11-26 08:59:49 +00:00
|
|
|
if (((BYTE*)decodedBuffer)[i] != ((BYTE*)CNBuffer)[i]) goto _output_error;;
|
2016-06-05 22:26:38 +00:00
|
|
|
} }
|
|
|
|
DISPLAYLEVEL(4, "OK \n");
|
2015-11-26 08:59:49 +00:00
|
|
|
|
|
|
|
_end:
|
|
|
|
ZBUFF_freeCCtx(zc);
|
|
|
|
ZBUFF_freeDCtx(zd);
|
|
|
|
free(CNBuffer);
|
|
|
|
free(compressedBuffer);
|
|
|
|
free(decodedBuffer);
|
|
|
|
return testResult;
|
|
|
|
|
|
|
|
_output_error:
|
|
|
|
testResult = 1;
|
|
|
|
DISPLAY("Error detected in Unit tests ! \n");
|
|
|
|
goto _end;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
static size_t findDiff(const void* buf1, const void* buf2, size_t max)
|
|
|
|
{
|
|
|
|
const BYTE* b1 = (const BYTE*)buf1;
|
|
|
|
const BYTE* b2 = (const BYTE*)buf2;
|
2016-05-18 15:18:48 +00:00
|
|
|
size_t u;
|
|
|
|
for (u=0; u<max; u++) {
|
|
|
|
if (b1[u] != b2[u]) break;
|
2015-11-26 08:59:49 +00:00
|
|
|
}
|
2016-05-18 15:18:48 +00:00
|
|
|
return u;
|
2015-11-26 08:59:49 +00:00
|
|
|
}
|
|
|
|
|
2016-04-04 00:47:20 +00:00
|
|
|
static size_t FUZ_rLogLength(U32* seed, U32 logLength)
|
|
|
|
{
|
|
|
|
size_t const lengthMask = ((size_t)1 << logLength) - 1;
|
|
|
|
return (lengthMask+1) + (FUZ_rand(seed) & lengthMask);
|
|
|
|
}
|
|
|
|
|
|
|
|
static size_t FUZ_randomLength(U32* seed, U32 maxLog)
|
|
|
|
{
|
|
|
|
U32 const logLength = FUZ_rand(seed) % maxLog;
|
|
|
|
return FUZ_rLogLength(seed, logLength);
|
|
|
|
}
|
|
|
|
|
2016-05-25 13:30:55 +00:00
|
|
|
#define MIN(a,b) ( (a) < (b) ? (a) : (b) )
|
|
|
|
|
2016-05-18 15:18:48 +00:00
|
|
|
#define CHECK(cond, ...) if (cond) { DISPLAY("Error => "); DISPLAY(__VA_ARGS__); \
|
|
|
|
DISPLAY(" (seed %u, test nb %u) \n", seed, testNb); goto _output_error; }
|
|
|
|
|
2016-04-01 13:48:48 +00:00
|
|
|
static int fuzzerTests(U32 seed, U32 nbTests, unsigned startTest, double compressibility)
|
2015-11-26 08:59:49 +00:00
|
|
|
{
|
2016-04-01 16:54:13 +00:00
|
|
|
static const U32 maxSrcLog = 24;
|
|
|
|
static const U32 maxSampleLog = 19;
|
2015-11-26 08:59:49 +00:00
|
|
|
BYTE* cNoiseBuffer[5];
|
2016-12-13 15:39:36 +00:00
|
|
|
size_t const srcBufferSize = (size_t)1<<maxSrcLog;
|
2015-11-26 08:59:49 +00:00
|
|
|
BYTE* copyBuffer;
|
2016-12-13 15:39:36 +00:00
|
|
|
size_t const copyBufferSize= srcBufferSize + (1<<maxSampleLog);
|
2015-11-26 08:59:49 +00:00
|
|
|
BYTE* cBuffer;
|
2016-12-13 15:39:36 +00:00
|
|
|
size_t const cBufferSize = ZSTD_compressBound(srcBufferSize);
|
2015-11-26 08:59:49 +00:00
|
|
|
BYTE* dstBuffer;
|
|
|
|
size_t dstBufferSize = srcBufferSize;
|
|
|
|
U32 result = 0;
|
|
|
|
U32 testNb = 0;
|
2016-04-01 16:54:13 +00:00
|
|
|
U32 coreSeed = seed;
|
2015-11-26 08:59:49 +00:00
|
|
|
ZBUFF_CCtx* zc;
|
|
|
|
ZBUFF_DCtx* zd;
|
2016-09-02 01:11:12 +00:00
|
|
|
clock_t startClock = clock();
|
2015-11-26 08:59:49 +00:00
|
|
|
|
2016-04-01 16:54:13 +00:00
|
|
|
/* allocations */
|
2015-11-26 08:59:49 +00:00
|
|
|
zc = ZBUFF_createCCtx();
|
|
|
|
zd = ZBUFF_createDCtx();
|
|
|
|
cNoiseBuffer[0] = (BYTE*)malloc (srcBufferSize);
|
|
|
|
cNoiseBuffer[1] = (BYTE*)malloc (srcBufferSize);
|
|
|
|
cNoiseBuffer[2] = (BYTE*)malloc (srcBufferSize);
|
|
|
|
cNoiseBuffer[3] = (BYTE*)malloc (srcBufferSize);
|
|
|
|
cNoiseBuffer[4] = (BYTE*)malloc (srcBufferSize);
|
|
|
|
copyBuffer= (BYTE*)malloc (copyBufferSize);
|
|
|
|
dstBuffer = (BYTE*)malloc (dstBufferSize);
|
|
|
|
cBuffer = (BYTE*)malloc (cBufferSize);
|
|
|
|
CHECK (!cNoiseBuffer[0] || !cNoiseBuffer[1] || !cNoiseBuffer[2] || !cNoiseBuffer[3] || !cNoiseBuffer[4] ||
|
|
|
|
!copyBuffer || !dstBuffer || !cBuffer || !zc || !zd,
|
|
|
|
"Not enough memory, fuzzer tests cancelled");
|
|
|
|
|
|
|
|
/* Create initial samples */
|
|
|
|
RDG_genBuffer(cNoiseBuffer[0], srcBufferSize, 0.00, 0., coreSeed); /* pure noise */
|
|
|
|
RDG_genBuffer(cNoiseBuffer[1], srcBufferSize, 0.05, 0., coreSeed); /* barely compressible */
|
|
|
|
RDG_genBuffer(cNoiseBuffer[2], srcBufferSize, compressibility, 0., coreSeed);
|
|
|
|
RDG_genBuffer(cNoiseBuffer[3], srcBufferSize, 0.95, 0., coreSeed); /* highly compressible */
|
|
|
|
RDG_genBuffer(cNoiseBuffer[4], srcBufferSize, 1.00, 0., coreSeed); /* sparse content */
|
2016-04-03 23:49:30 +00:00
|
|
|
memset(copyBuffer, 0x65, copyBufferSize); /* make copyBuffer considered initialized */
|
2015-11-26 08:59:49 +00:00
|
|
|
|
|
|
|
/* catch up testNb */
|
|
|
|
for (testNb=1; testNb < startTest; testNb++)
|
|
|
|
FUZ_rand(&coreSeed);
|
|
|
|
|
|
|
|
/* test loop */
|
2016-09-02 01:11:12 +00:00
|
|
|
for ( ; (testNb <= nbTests) || (FUZ_GetClockSpan(startClock) < g_clockTime) ; testNb++ ) {
|
2016-04-01 16:54:13 +00:00
|
|
|
U32 lseed;
|
2016-04-03 23:49:30 +00:00
|
|
|
const BYTE* srcBuffer;
|
2015-12-12 10:17:42 +00:00
|
|
|
const BYTE* dict;
|
2016-04-04 00:47:20 +00:00
|
|
|
size_t maxTestSize, dictSize;
|
|
|
|
size_t cSize, totalTestSize, totalCSize, totalGenSize;
|
2015-11-26 08:59:49 +00:00
|
|
|
size_t errorCode;
|
2016-04-04 00:47:20 +00:00
|
|
|
U32 n, nbChunks;
|
2016-05-28 11:34:07 +00:00
|
|
|
XXH64_state_t xxhState;
|
2016-04-01 16:54:13 +00:00
|
|
|
U64 crcOrig;
|
2015-11-26 08:59:49 +00:00
|
|
|
|
|
|
|
/* init */
|
2015-11-26 11:43:28 +00:00
|
|
|
DISPLAYUPDATE(2, "\r%6u", testNb);
|
|
|
|
if (nbTests >= testNb) DISPLAYUPDATE(2, "/%6u ", nbTests);
|
2015-11-26 08:59:49 +00:00
|
|
|
FUZ_rand(&coreSeed);
|
|
|
|
lseed = coreSeed ^ prime1;
|
2016-04-03 23:22:26 +00:00
|
|
|
|
2016-06-01 15:44:53 +00:00
|
|
|
/* states full reset (unsynchronized) */
|
|
|
|
/* some issues only happen when reusing states in a specific sequence of parameters */
|
2016-04-03 23:22:26 +00:00
|
|
|
if ((FUZ_rand(&lseed) & 0xFF) == 131) { ZBUFF_freeCCtx(zc); zc = ZBUFF_createCCtx(); }
|
|
|
|
if ((FUZ_rand(&lseed) & 0xFF) == 132) { ZBUFF_freeDCtx(zd); zd = ZBUFF_createDCtx(); }
|
|
|
|
|
2016-04-04 00:53:27 +00:00
|
|
|
/* srcBuffer selection [0-4] */
|
2016-04-03 23:49:30 +00:00
|
|
|
{ U32 buffNb = FUZ_rand(&lseed) & 0x7F;
|
2016-04-04 00:47:20 +00:00
|
|
|
if (buffNb & 7) buffNb=2; /* most common : compressible (P) */
|
2016-04-03 23:49:30 +00:00
|
|
|
else {
|
|
|
|
buffNb >>= 3;
|
|
|
|
if (buffNb & 7) {
|
2016-04-04 00:47:20 +00:00
|
|
|
const U32 tnb[2] = { 1, 3 }; /* barely/highly compressible */
|
2016-04-03 23:49:30 +00:00
|
|
|
buffNb = tnb[buffNb >> 3];
|
|
|
|
} else {
|
2016-04-04 00:47:20 +00:00
|
|
|
const U32 tnb[2] = { 0, 4 }; /* not compressible / sparse */
|
2016-04-03 23:49:30 +00:00
|
|
|
buffNb = tnb[buffNb >> 3];
|
|
|
|
} }
|
|
|
|
srcBuffer = cNoiseBuffer[buffNb];
|
|
|
|
}
|
2015-11-26 08:59:49 +00:00
|
|
|
|
2016-04-04 00:53:27 +00:00
|
|
|
/* compression init */
|
|
|
|
{ U32 const testLog = FUZ_rand(&lseed) % maxSrcLog;
|
2016-04-04 00:47:20 +00:00
|
|
|
U32 const cLevel = (FUZ_rand(&lseed) % (ZSTD_maxCLevel() - (testLog/3))) + 1;
|
2016-04-04 00:53:27 +00:00
|
|
|
maxTestSize = FUZ_rLogLength(&lseed, testLog);
|
2016-06-01 15:44:53 +00:00
|
|
|
dictSize = (FUZ_rand(&lseed)==1) ? FUZ_randomLength(&lseed, maxSampleLog) : 0;
|
2016-04-04 00:53:27 +00:00
|
|
|
/* random dictionary selection */
|
2016-06-01 15:44:53 +00:00
|
|
|
{ size_t const dictStart = FUZ_rand(&lseed) % (srcBufferSize - dictSize);
|
|
|
|
dict = srcBuffer + dictStart;
|
2016-04-04 00:53:27 +00:00
|
|
|
}
|
2016-06-27 13:28:45 +00:00
|
|
|
{ ZSTD_parameters params = ZSTD_getParams(cLevel, 0, dictSize);
|
|
|
|
params.fParams.checksumFlag = FUZ_rand(&lseed) & 1;
|
|
|
|
params.fParams.noDictIDFlag = FUZ_rand(&lseed) & 1;
|
2017-10-19 21:05:23 +00:00
|
|
|
{ size_t const initError = ZBUFF_compressInit_advanced(zc, dict, dictSize, params, ZSTD_CONTENTSIZE_UNKNOWN);
|
2016-06-01 15:44:53 +00:00
|
|
|
CHECK (ZBUFF_isError(initError),"init error : %s", ZBUFF_getErrorName(initError));
|
|
|
|
} } }
|
2016-04-04 00:47:20 +00:00
|
|
|
|
|
|
|
/* multi-segments compression test */
|
2016-05-28 11:34:07 +00:00
|
|
|
XXH64_reset(&xxhState, 0);
|
2016-04-04 00:47:20 +00:00
|
|
|
nbChunks = (FUZ_rand(&lseed) & 127) + 2;
|
|
|
|
for (n=0, cSize=0, totalTestSize=0 ; (n<nbChunks) && (totalTestSize < maxTestSize) ; n++) {
|
|
|
|
/* compress random chunk into random size dst buffer */
|
|
|
|
{ size_t readChunkSize = FUZ_randomLength(&lseed, maxSampleLog);
|
2016-04-04 02:22:53 +00:00
|
|
|
size_t const randomDstSize = FUZ_randomLength(&lseed, maxSampleLog);
|
|
|
|
size_t dstBuffSize = MIN(cBufferSize - cSize, randomDstSize);
|
2016-04-04 00:47:20 +00:00
|
|
|
size_t const srcStart = FUZ_rand(&lseed) % (srcBufferSize - readChunkSize);
|
|
|
|
|
2016-04-04 00:53:27 +00:00
|
|
|
size_t const compressionError = ZBUFF_compressContinue(zc, cBuffer+cSize, &dstBuffSize, srcBuffer+srcStart, &readChunkSize);
|
|
|
|
CHECK (ZBUFF_isError(compressionError), "compression error : %s", ZBUFF_getErrorName(compressionError));
|
2016-04-03 23:49:30 +00:00
|
|
|
|
2016-05-28 11:34:07 +00:00
|
|
|
XXH64_update(&xxhState, srcBuffer+srcStart, readChunkSize);
|
2016-04-04 00:47:20 +00:00
|
|
|
memcpy(copyBuffer+totalTestSize, srcBuffer+srcStart, readChunkSize);
|
2016-04-03 23:49:30 +00:00
|
|
|
cSize += dstBuffSize;
|
|
|
|
totalTestSize += readChunkSize;
|
|
|
|
}
|
2015-11-26 10:43:00 +00:00
|
|
|
|
2016-04-01 16:54:13 +00:00
|
|
|
/* random flush operation, to mess around */
|
2016-04-01 13:48:48 +00:00
|
|
|
if ((FUZ_rand(&lseed) & 15) == 0) {
|
2016-04-04 02:22:53 +00:00
|
|
|
size_t const randomDstSize = FUZ_randomLength(&lseed, maxSampleLog);
|
|
|
|
size_t dstBuffSize = MIN(cBufferSize - cSize, randomDstSize);
|
2016-04-04 00:47:20 +00:00
|
|
|
size_t const flushError = ZBUFF_compressFlush(zc, cBuffer+cSize, &dstBuffSize);
|
|
|
|
CHECK (ZBUFF_isError(flushError), "flush error : %s", ZBUFF_getErrorName(flushError));
|
2016-04-03 23:49:30 +00:00
|
|
|
cSize += dstBuffSize;
|
|
|
|
} }
|
2016-04-04 00:47:20 +00:00
|
|
|
|
|
|
|
/* final frame epilogue */
|
2016-06-21 12:14:02 +00:00
|
|
|
{ size_t remainingToFlush = (size_t)(-1);
|
2016-06-21 10:17:26 +00:00
|
|
|
while (remainingToFlush) {
|
|
|
|
size_t const randomDstSize = FUZ_randomLength(&lseed, maxSampleLog);
|
|
|
|
size_t dstBuffSize = MIN(cBufferSize - cSize, randomDstSize);
|
2016-06-21 12:14:02 +00:00
|
|
|
U32 const enoughDstSize = dstBuffSize >= remainingToFlush;
|
2016-06-21 10:17:26 +00:00
|
|
|
remainingToFlush = ZBUFF_compressEnd(zc, cBuffer+cSize, &dstBuffSize);
|
|
|
|
CHECK (ZBUFF_isError(remainingToFlush), "flush error : %s", ZBUFF_getErrorName(remainingToFlush));
|
2016-07-28 17:55:09 +00:00
|
|
|
CHECK (enoughDstSize && remainingToFlush, "ZBUFF_compressEnd() not fully flushed (%u remaining), but enough space available", (U32)remainingToFlush);
|
2016-06-21 10:17:26 +00:00
|
|
|
cSize += dstBuffSize;
|
2016-06-21 11:11:48 +00:00
|
|
|
} }
|
2016-05-28 11:34:07 +00:00
|
|
|
crcOrig = XXH64_digest(&xxhState);
|
2015-11-26 08:59:49 +00:00
|
|
|
|
|
|
|
/* multi - fragments decompression test */
|
2016-01-26 14:58:49 +00:00
|
|
|
ZBUFF_decompressInitDictionary(zd, dict, dictSize);
|
2016-07-28 17:55:09 +00:00
|
|
|
errorCode = 1;
|
|
|
|
for (totalCSize = 0, totalGenSize = 0 ; errorCode ; ) {
|
2016-04-04 00:47:20 +00:00
|
|
|
size_t readCSrcSize = FUZ_randomLength(&lseed, maxSampleLog);
|
2016-04-04 02:22:53 +00:00
|
|
|
size_t const randomDstSize = FUZ_randomLength(&lseed, maxSampleLog);
|
|
|
|
size_t dstBuffSize = MIN(dstBufferSize - totalGenSize, randomDstSize);
|
2016-07-28 17:55:09 +00:00
|
|
|
errorCode = ZBUFF_decompressContinue(zd, dstBuffer+totalGenSize, &dstBuffSize, cBuffer+totalCSize, &readCSrcSize);
|
|
|
|
CHECK (ZBUFF_isError(errorCode), "decompression error : %s", ZBUFF_getErrorName(errorCode));
|
2016-04-04 00:47:20 +00:00
|
|
|
totalGenSize += dstBuffSize;
|
|
|
|
totalCSize += readCSrcSize;
|
2015-11-26 09:32:17 +00:00
|
|
|
}
|
2015-11-26 08:59:49 +00:00
|
|
|
CHECK (errorCode != 0, "frame not fully decoded");
|
2015-11-26 09:32:17 +00:00
|
|
|
CHECK (totalGenSize != totalTestSize, "decompressed data : wrong size")
|
|
|
|
CHECK (totalCSize != cSize, "compressed data should be fully read")
|
2016-04-01 16:54:13 +00:00
|
|
|
{ U64 const crcDest = XXH64(dstBuffer, totalTestSize, 0);
|
|
|
|
if (crcDest!=crcOrig) findDiff(copyBuffer, dstBuffer, totalTestSize);
|
|
|
|
CHECK (crcDest!=crcOrig, "decompressed data corrupted"); }
|
2015-11-26 08:59:49 +00:00
|
|
|
|
2016-04-01 16:54:13 +00:00
|
|
|
/*===== noisy/erroneous src decompression test =====*/
|
2015-11-26 11:43:28 +00:00
|
|
|
|
2016-04-01 16:54:13 +00:00
|
|
|
/* add some noise */
|
|
|
|
{ U32 const nbNoiseChunks = (FUZ_rand(&lseed) & 7) + 2;
|
|
|
|
U32 nn; for (nn=0; nn<nbNoiseChunks; nn++) {
|
2016-04-04 02:22:53 +00:00
|
|
|
size_t const randomNoiseSize = FUZ_randomLength(&lseed, maxSampleLog);
|
|
|
|
size_t const noiseSize = MIN((cSize/3) , randomNoiseSize);
|
2016-04-01 16:54:13 +00:00
|
|
|
size_t const noiseStart = FUZ_rand(&lseed) % (srcBufferSize - noiseSize);
|
|
|
|
size_t const cStart = FUZ_rand(&lseed) % (cSize - noiseSize);
|
|
|
|
memcpy(cBuffer+cStart, srcBuffer+noiseStart, noiseSize);
|
|
|
|
} }
|
2015-11-26 11:43:28 +00:00
|
|
|
|
|
|
|
/* try decompression on noisy data */
|
|
|
|
ZBUFF_decompressInit(zd);
|
|
|
|
totalCSize = 0;
|
|
|
|
totalGenSize = 0;
|
2016-04-01 13:48:48 +00:00
|
|
|
while ( (totalCSize < cSize) && (totalGenSize < dstBufferSize) ) {
|
2016-04-04 00:47:20 +00:00
|
|
|
size_t readCSrcSize = FUZ_randomLength(&lseed, maxSampleLog);
|
2016-04-04 02:22:53 +00:00
|
|
|
size_t const randomDstSize = FUZ_randomLength(&lseed, maxSampleLog);
|
|
|
|
size_t dstBuffSize = MIN(dstBufferSize - totalGenSize, randomDstSize);
|
2016-04-04 00:47:20 +00:00
|
|
|
size_t const decompressError = ZBUFF_decompressContinue(zd, dstBuffer+totalGenSize, &dstBuffSize, cBuffer+totalCSize, &readCSrcSize);
|
|
|
|
if (ZBUFF_isError(decompressError)) break; /* error correctly detected */
|
|
|
|
totalGenSize += dstBuffSize;
|
|
|
|
totalCSize += readCSrcSize;
|
2016-04-01 13:48:48 +00:00
|
|
|
} }
|
2015-11-26 09:52:30 +00:00
|
|
|
DISPLAY("\r%u fuzzer tests completed \n", testNb);
|
2015-11-26 08:59:49 +00:00
|
|
|
|
|
|
|
_cleanup:
|
|
|
|
ZBUFF_freeCCtx(zc);
|
|
|
|
ZBUFF_freeDCtx(zd);
|
|
|
|
free(cNoiseBuffer[0]);
|
|
|
|
free(cNoiseBuffer[1]);
|
|
|
|
free(cNoiseBuffer[2]);
|
|
|
|
free(cNoiseBuffer[3]);
|
|
|
|
free(cNoiseBuffer[4]);
|
|
|
|
free(copyBuffer);
|
|
|
|
free(cBuffer);
|
|
|
|
free(dstBuffer);
|
|
|
|
return result;
|
|
|
|
|
|
|
|
_output_error:
|
|
|
|
result = 1;
|
|
|
|
goto _cleanup;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2016-04-01 13:48:48 +00:00
|
|
|
/*-*******************************************************
|
2015-11-26 08:59:49 +00:00
|
|
|
* Command line
|
|
|
|
*********************************************************/
|
2016-04-04 00:48:55 +00:00
|
|
|
int FUZ_usage(const char* programName)
|
2015-11-26 08:59:49 +00:00
|
|
|
{
|
|
|
|
DISPLAY( "Usage :\n");
|
|
|
|
DISPLAY( " %s [args]\n", programName);
|
|
|
|
DISPLAY( "\n");
|
|
|
|
DISPLAY( "Arguments :\n");
|
|
|
|
DISPLAY( " -i# : Nb of tests (default:%u) \n", nbTestsDefault);
|
|
|
|
DISPLAY( " -s# : Select seed (default:prompt user)\n");
|
|
|
|
DISPLAY( " -t# : Select starting test number (default:0)\n");
|
|
|
|
DISPLAY( " -P# : Select compressibility in %% (default:%i%%)\n", FUZ_COMPRESSIBILITY_DEFAULT);
|
|
|
|
DISPLAY( " -v : verbose\n");
|
|
|
|
DISPLAY( " -p : pause at the end\n");
|
|
|
|
DISPLAY( " -h : display help and exit\n");
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2016-04-04 00:48:55 +00:00
|
|
|
int main(int argc, const char** argv)
|
2015-11-26 08:59:49 +00:00
|
|
|
{
|
|
|
|
U32 seed=0;
|
|
|
|
int seedset=0;
|
|
|
|
int argNb;
|
|
|
|
int nbTests = nbTestsDefault;
|
|
|
|
int testNb = 0;
|
|
|
|
int proba = FUZ_COMPRESSIBILITY_DEFAULT;
|
|
|
|
int result=0;
|
|
|
|
U32 mainPause = 0;
|
2016-04-04 00:48:55 +00:00
|
|
|
const char* programName = argv[0];
|
2016-06-02 16:24:07 +00:00
|
|
|
ZSTD_customMem customMem = { ZBUFF_allocFunction, ZBUFF_freeFunction, NULL };
|
2016-06-03 11:23:04 +00:00
|
|
|
ZSTD_customMem customNULL = { NULL, NULL, NULL };
|
2015-11-26 08:59:49 +00:00
|
|
|
|
|
|
|
/* Check command line */
|
2016-04-01 13:48:48 +00:00
|
|
|
for(argNb=1; argNb<argc; argNb++) {
|
2016-04-04 00:48:55 +00:00
|
|
|
const char* argument = argv[argNb];
|
2015-11-26 08:59:49 +00:00
|
|
|
if(!argument) continue; /* Protection if argument empty */
|
|
|
|
|
2016-04-04 02:22:53 +00:00
|
|
|
/* Parsing commands. Aggregated commands are allowed */
|
2016-04-01 13:48:48 +00:00
|
|
|
if (argument[0]=='-') {
|
2015-11-26 08:59:49 +00:00
|
|
|
argument++;
|
|
|
|
|
2016-04-01 13:48:48 +00:00
|
|
|
while (*argument!=0) {
|
2015-11-26 08:59:49 +00:00
|
|
|
switch(*argument)
|
|
|
|
{
|
|
|
|
case 'h':
|
|
|
|
return FUZ_usage(programName);
|
|
|
|
case 'v':
|
|
|
|
argument++;
|
|
|
|
g_displayLevel=4;
|
|
|
|
break;
|
|
|
|
case 'q':
|
|
|
|
argument++;
|
|
|
|
g_displayLevel--;
|
|
|
|
break;
|
|
|
|
case 'p': /* pause at the end */
|
|
|
|
argument++;
|
|
|
|
mainPause = 1;
|
|
|
|
break;
|
|
|
|
|
|
|
|
case 'i':
|
|
|
|
argument++;
|
2016-09-02 01:11:12 +00:00
|
|
|
nbTests=0; g_clockTime=0;
|
2016-04-01 13:48:48 +00:00
|
|
|
while ((*argument>='0') && (*argument<='9')) {
|
2015-11-26 08:59:49 +00:00
|
|
|
nbTests *= 10;
|
|
|
|
nbTests += *argument - '0';
|
|
|
|
argument++;
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
|
2015-11-26 09:52:30 +00:00
|
|
|
case 'T':
|
|
|
|
argument++;
|
2016-09-02 01:11:12 +00:00
|
|
|
nbTests=0; g_clockTime=0;
|
2016-04-01 13:48:48 +00:00
|
|
|
while ((*argument>='0') && (*argument<='9')) {
|
2016-09-02 01:11:12 +00:00
|
|
|
g_clockTime *= 10;
|
|
|
|
g_clockTime += *argument - '0';
|
2015-11-26 09:52:30 +00:00
|
|
|
argument++;
|
|
|
|
}
|
2016-09-02 01:11:12 +00:00
|
|
|
if (*argument=='m') g_clockTime *=60, argument++;
|
2015-11-26 09:52:30 +00:00
|
|
|
if (*argument=='n') argument++;
|
2016-09-02 01:11:12 +00:00
|
|
|
g_clockTime *= CLOCKS_PER_SEC;
|
2015-11-26 09:52:30 +00:00
|
|
|
break;
|
|
|
|
|
2015-11-26 08:59:49 +00:00
|
|
|
case 's':
|
|
|
|
argument++;
|
|
|
|
seed=0;
|
|
|
|
seedset=1;
|
2016-04-01 13:48:48 +00:00
|
|
|
while ((*argument>='0') && (*argument<='9')) {
|
2015-11-26 08:59:49 +00:00
|
|
|
seed *= 10;
|
|
|
|
seed += *argument - '0';
|
|
|
|
argument++;
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
|
|
|
|
case 't':
|
|
|
|
argument++;
|
|
|
|
testNb=0;
|
2016-04-01 13:48:48 +00:00
|
|
|
while ((*argument>='0') && (*argument<='9')) {
|
2015-11-26 08:59:49 +00:00
|
|
|
testNb *= 10;
|
|
|
|
testNb += *argument - '0';
|
|
|
|
argument++;
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
|
|
|
|
case 'P': /* compressibility % */
|
|
|
|
argument++;
|
|
|
|
proba=0;
|
2016-04-01 13:48:48 +00:00
|
|
|
while ((*argument>='0') && (*argument<='9')) {
|
2015-11-26 08:59:49 +00:00
|
|
|
proba *= 10;
|
|
|
|
proba += *argument - '0';
|
|
|
|
argument++;
|
|
|
|
}
|
|
|
|
if (proba<0) proba=0;
|
|
|
|
if (proba>100) proba=100;
|
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
|
|
|
return FUZ_usage(programName);
|
|
|
|
}
|
2016-04-01 16:54:13 +00:00
|
|
|
} } } /* for(argNb=1; argNb<argc; argNb++) */
|
2015-11-26 08:59:49 +00:00
|
|
|
|
|
|
|
/* Get Seed */
|
2016-05-20 10:34:40 +00:00
|
|
|
DISPLAY("Starting zstd_buffered tester (%i-bits, %s)\n", (int)(sizeof(size_t)*8), ZSTD_VERSION_STRING);
|
2015-11-26 08:59:49 +00:00
|
|
|
|
2016-09-02 01:11:12 +00:00
|
|
|
if (!seedset) {
|
|
|
|
time_t const t = time(NULL);
|
|
|
|
U32 const h = XXH32(&t, sizeof(t), 1);
|
|
|
|
seed = h % 10000;
|
|
|
|
}
|
2015-11-26 08:59:49 +00:00
|
|
|
DISPLAY("Seed = %u\n", seed);
|
|
|
|
if (proba!=FUZ_COMPRESSIBILITY_DEFAULT) DISPLAY("Compressibility : %i%%\n", proba);
|
|
|
|
|
|
|
|
if (nbTests<=0) nbTests=1;
|
|
|
|
|
2016-05-24 13:35:48 +00:00
|
|
|
if (testNb==0) {
|
2016-06-03 11:23:04 +00:00
|
|
|
result = basicUnitTests(0, ((double)proba) / 100, customNULL); /* constant seed for predictability */
|
2016-05-31 22:44:36 +00:00
|
|
|
if (!result) {
|
|
|
|
DISPLAYLEVEL(4, "Unit tests using customMem :\n")
|
2016-05-24 13:35:48 +00:00
|
|
|
result = basicUnitTests(0, ((double)proba) / 100, customMem); /* use custom memory allocation functions */
|
2016-05-31 22:44:36 +00:00
|
|
|
} }
|
2016-05-24 13:35:48 +00:00
|
|
|
|
2015-11-26 08:59:49 +00:00
|
|
|
if (!result)
|
|
|
|
result = fuzzerTests(seed, nbTests, testNb, ((double)proba) / 100);
|
2016-04-01 13:48:48 +00:00
|
|
|
|
|
|
|
if (mainPause) {
|
2015-11-26 08:59:49 +00:00
|
|
|
int unused;
|
|
|
|
DISPLAY("Press Enter \n");
|
|
|
|
unused = getchar();
|
|
|
|
(void)unused;
|
|
|
|
}
|
|
|
|
return result;
|
|
|
|
}
|