#include <iostream>
#include <vector>
#include <getopt.h>
#include <unistd.h>
#include <dirent.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <stdio.h>
#include <stdlib.h>
#include <time.h>
#include <ctime>
#include <sys/wait.h>
#include <dlfcn.h>
#include <cstdio>
#include <string>
#include <vector>
#include <iomanip>
#include <string.h>
#include <list>
#include <algorithm>
#include <stdarg.h>
#include "acl/acl.h"
#include "aclnn/aclnn_base.h"
#include "acl/acl_base.h"
#include "acl/acl_rt.h"
#include "sec_common.h"
#include "utils.h"
#include "../fuzzlib/secodeFuzz.h"
#include "aclnnop/aclnn_bernoulli.h"
using namespace std;
static const int CONSISTENT_MAX_RUN_TIMES = 64;
static int CONSISTENT_RUN_TIMES = 2;
static const char* ConsistentDtypeStr(aclDataType t) {
switch (t) {
case ACL_FLOAT: return "FLOAT"; case ACL_FLOAT16: return "FLOAT16";
case ACL_BF16: return "BFLOAT16"; case ACL_DOUBLE: return "DOUBLE";
case ACL_INT8: return "INT8"; case ACL_INT16: return "INT16";
case ACL_INT32: return "INT32"; case ACL_INT64: return "INT64";
case ACL_UINT8: return "UINT8"; case ACL_UINT16: return "UINT16";
case ACL_UINT32: return "UINT32"; case ACL_UINT64: return "UINT64";
case ACL_BOOL: return "BOOL"; case ACL_COMPLEX64: return "COMPLEX64";
case ACL_COMPLEX128: return "COMPLEX128";
default: return "UNKNOWN";
}
}
static const char* ConsistentFormatStr(aclFormat f) {
switch (f) {
case ACL_FORMAT_NCHW: return "NCHW"; case ACL_FORMAT_NHWC: return "NHWC";
case ACL_FORMAT_ND: return "ND"; case ACL_FORMAT_NC1HWC0: return "NC1HWC0";
case ACL_FORMAT_FRACTAL_Z: return "FRACTAL_Z"; case ACL_FORMAT_HWCN: return "HWCN";
case ACL_FORMAT_NDHWC: return "NDHWC"; case ACL_FORMAT_FRACTAL_NZ: return "FRACTAL_NZ";
case ACL_FORMAT_NCDHW: return "NCDHW"; case ACL_FORMAT_NC: return "NC";
case ACL_FORMAT_NCL: return "NCL";
default: return "OTHER";
}
}
static size_t ConsistentSizeOfDtype(aclDataType dataType) {
switch (dataType) {
case ACL_FLOAT: return 4; case ACL_FLOAT16: return 2;
case ACL_INT8: return 1; case ACL_INT32: return 4;
case ACL_UINT8: return 1; case ACL_INT16: return 2;
case ACL_UINT16: return 2; case ACL_UINT32: return 4;
case ACL_INT64: return 8; case ACL_UINT64: return 8;
case ACL_DOUBLE: return 8; case ACL_BOOL: return 1;
case ACL_BF16: return 2; case ACL_COMPLEX64: return 8;
case ACL_COMPLEX128: return 16;
case ACL_INT4: return 1;
case ACL_HIFLOAT8: return 1;
case ACL_FLOAT8_E5M2: return 1;
case ACL_FLOAT8_E4M3FN: return 1;
case ACL_FLOAT8_E8M0: return 1;
case ACL_FLOAT4_E2M1: return 1;
case ACL_FLOAT4_E1M2: return 1;
default: return 0;
}
}
static void ConsistentPrintShape(const std::vector<int64_t>& shape) {
printf("[");
for (size_t k = 0; k < shape.size(); k++) {
printf("%lld%s", (long long)shape[k], (k + 1 < shape.size()) ? "," : "");
}
printf("]");
}
static uint64_t ConsistentHashBuffer(const void* data, size_t len) {
const uint8_t* p = (const uint8_t*)data;
uint64_t hash = 1469598103934665603ULL;
for (size_t k = 0; k < len; k++) {
hash ^= (uint64_t)p[k];
hash *= 1099511628211ULL;
}
return hash;
}
static uint64_t ConsistentHashDeviceTensor(void* deviceAddr, size_t bytes) {
if (deviceAddr == nullptr || bytes == 0) return 0;
void* hostBuf = malloc(bytes);
if (hostBuf == nullptr) return 0;
if (aclrtMemcpy(hostBuf, bytes, deviceAddr, bytes, ACL_MEMCPY_DEVICE_TO_HOST) != ACL_SUCCESS) {
free(hostBuf);
return 0;
}
uint64_t h = ConsistentHashBuffer(hostBuf, bytes);
free(hostBuf);
return h;
}
static int kDtypeEnum[] = {0, 1, 27};
static int kDtypeNum = sizeof(kDtypeEnum) / sizeof(kDtypeEnum[0]);
int aclnnBernoulli_consistent(int fuzz_num)
{
const long long kSingleInputSizeMax = 1073741824LL;
auto ret = Init(deviceId, &context, &stream);
CHECK_RET(ret == ACL_SUCCESS, LOG_PRINT("Init acl failed. ERROR: %d\n", ret); return ret);
printf("[FUZZ_DETERMINISTIC] api=aclnnBernoulli, enable_deterministic=0, reason=md文档标注:aclnnBernoulli&aclnnInplaceBernoulli默认确定性实现。\n");
WriteDTLog("aclnnBernoulli", "aclnnBernoulli consistent op fuzz start \n");
aclrtSetOpExecuteTimeOut(1091);
DT_Set_TimeOut_Second(3000);
DT_FUZZ_START(0, fuzz_num, (char*)__func__, 0)
{
int i = 0;
void* inputDeviceAddr = nullptr;
aclTensor* input = nullptr;
void* outDeviceAddr = nullptr;
aclTensor* out = nullptr;
aclScalar* prob = nullptr;
uint64_t workspaceSize = 0;
aclOpExecutor* executor;
void* workspaceAddr = nullptr;
char curTilingKey[64];
snprintf(curTilingKey, sizeof(curTilingKey), "N/A");
int cstRunCount = 0;
bool cstAllOk = true;
bool cstResultPrinted = false;
uint64_t cstInputShapeSz = 0;
int cstInputDtype = 0;
size_t cstInputBytes = 0;
void* cstInputSaveBuf = nullptr;
uint64_t cstInputHashArr[CONSISTENT_MAX_RUN_TIMES];
memset(cstInputHashArr, 0, sizeof(cstInputHashArr));
uint64_t cstOutShapeSz = 0;
int cstOutDtype = 0;
size_t cstOutBytes = 0;
void* cstOutSaveBuf = nullptr;
uint64_t cstOutHashArr[CONSISTENT_MAX_RUN_TIMES];
memset(cstOutHashArr, 0, sizeof(cstOutHashArr));
double cstProbVal = 0;
printf("[FUZZ_LOG] plog_file: aclnnBernoulli_consistent_plog_case_%d\n", fuzzi);
LOG_PRINT("aclnnBernoulli_consistent %d\n", fuzzi);
try
{
int sizeBucket = *(int *)DTSetGetNumberRange(&g_Element[i++], 1, 0, 1, "i");
long long totalSizeMin = 0, totalSizeMax = 0;
switch (sizeBucket) {
case 0: totalSizeMin = 1; totalSizeMax = 1000; break;
case 1: totalSizeMin = 1001; totalSizeMax = 67108864LL; break;
case 2: totalSizeMin = 1073741825LL; totalSizeMax = 2147483648LL; break;
case 3: totalSizeMin = 2147483649LL; totalSizeMax = 4294967296LL; break;
}
int shape1 = *(int*)DTSetGetNumberRange(&g_Element[i++], 4, 1, 256, "i");
int shape2 = *(int*)DTSetGetNumberRange(&g_Element[i++], 2, 1, 256, "i");
int shape3 = *(int*)DTSetGetNumberRange(&g_Element[i++], 2, 1, 256, "i");
int shape4 = *(int*)DTSetGetNumberRange(&g_Element[i++], 2, 1, 256, "i");
int shape5 = *(int*)DTSetGetNumberRange(&g_Element[i++], 2, 1, 256, "i");
int shape6 = *(int*)DTSetGetNumberRange(&g_Element[i++], 2, 1, 256, "i");
int shape7 = *(int*)DTSetGetNumberRange(&g_Element[i++], 2, 1, 256, "i");
int shape8 = *(int*)DTSetGetNumberRange(&g_Element[i++], 2, 1, 256, "i");
auto inputDtype = (aclDataType)*(int*)DT_SetGetNumberEnumV3(i++, aclDataType::ACL_FLOAT16, kDtypeEnum, kDtypeNum);
int dim_num0 = *(int*)DTSetGetNumberRange(&g_Element[i++], 2, 0, 8, "i");
int64_t seed = (int64_t)*(int*)DTSetGetNumberRange(&g_Element[i++], 4, 0, 1000, "i");
int64_t offset = (int64_t)(*(int*)DTSetGetNumberRange(&g_Element[i++], 4, 0, 1000, "i") & ~3);
std::vector<int64_t> inputShape = {};
if (dim_num0 == 0) { inputShape = {}; } else
if (dim_num0 == 1) {
inputShape = {shape1};
} else if (dim_num0 == 2) {
inputShape = {shape1, shape2};
} else if (dim_num0 == 3) {
inputShape = {shape1, shape2, shape3};
} else if (dim_num0 == 4) {
inputShape = {shape1, shape2, shape3, shape4};
} else if (dim_num0 == 5) {
inputShape = {shape1, shape2, shape3, shape4, shape5};
} else if (dim_num0 == 6) {
inputShape = {shape1, shape2, shape3, shape4, shape5, shape6};
} else if (dim_num0 == 7) {
inputShape = {shape1, shape2, shape3, shape4, shape5, shape6, shape7};
} else if (dim_num0 == 8) {
inputShape = {shape1, shape2, shape3, shape4, shape5, shape6, shape7, shape8};
}
std::vector<int64_t> outShape = inputShape;
long long shapeSize = GetShapeSize(inputShape);
if (shapeSize > kSingleInputSizeMax) { printf("shape_size too big\n"); goto ERROR; }
printf("inputDtype=%d, dim=%d, shapeSize=%lld\n", (int)inputDtype, dim_num0, shapeSize);
aclFormat fmt = aclFormat::ACL_FORMAT_ND;
if (inputDtype == aclDataType::ACL_FLOAT) {
std::vector<float> hostData(shapeSize, 1);
long long totalSize = shapeSize;
if (totalSize < totalSizeMin || totalSize > totalSizeMax) { goto ERROR; }
ret = CreateAclTensor_New(hostData, inputShape, &inputDeviceAddr, inputDtype, fmt, &input);
cstInputShapeSz = (uint64_t)GetShapeSize(inputShape);
cstInputDtype = (int)(inputDtype);
} else if (inputDtype == aclDataType::ACL_FLOAT16) {
std::vector<int16_t> hostData(shapeSize, 1);
ret = CreateAclTensor_New(hostData, inputShape, &inputDeviceAddr, inputDtype, fmt, &input);
cstInputShapeSz = (uint64_t)GetShapeSize(inputShape);
cstInputDtype = (int)(inputDtype);
} else if (inputDtype == aclDataType::ACL_BF16) {
std::vector<int16_t> hostData(shapeSize, 1);
ret = CreateAclTensor_New(hostData, inputShape, &inputDeviceAddr, inputDtype, fmt, &input);
cstInputShapeSz = (uint64_t)GetShapeSize(inputShape);
cstInputDtype = (int)(inputDtype);
}
CHECK_RET(ret == ACL_SUCCESS, goto ERROR);
if (inputDtype == aclDataType::ACL_FLOAT) {
std::vector<float> hostData(shapeSize, 0);
ret = CreateAclTensor_New(hostData, outShape, &outDeviceAddr, inputDtype, fmt, &out);
cstOutShapeSz = (uint64_t)GetShapeSize(outShape);
cstOutDtype = (int)(inputDtype);
} else if (inputDtype == aclDataType::ACL_FLOAT16) {
std::vector<int16_t> hostData(shapeSize, 0);
ret = CreateAclTensor_New(hostData, outShape, &outDeviceAddr, inputDtype, fmt, &out);
cstOutShapeSz = (uint64_t)GetShapeSize(outShape);
cstOutDtype = (int)(inputDtype);
} else if (inputDtype == aclDataType::ACL_BF16) {
std::vector<int16_t> hostData(shapeSize, 0);
ret = CreateAclTensor_New(hostData, outShape, &outDeviceAddr, inputDtype, fmt, &out);
cstOutShapeSz = (uint64_t)GetShapeSize(outShape);
cstOutDtype = (int)(inputDtype);
}
CHECK_RET(ret == ACL_SUCCESS, goto ERROR);
float probVal = 0.5f;
prob = aclCreateScalar(&probVal, aclDataType::ACL_FLOAT);
cstProbVal = (double)(probVal);
CHECK_RET(prob != nullptr, LOG_PRINT("aclCreateScalar prob failed.\n"); goto ERROR);
cstInputBytes = (inputDeviceAddr != nullptr) ? (size_t)cstInputShapeSz * (size_t)ConsistentSizeOfDtype((aclDataType)cstInputDtype) : 0;
printf("[FUZZ_CONSISTENT_BYTES] case_%d: tensor=input, dtype=%d(%s), shapeSize=%llu, cstBytes=%zu, ConsistentSizeOfDtype=%zu\n", fuzzi, (int)cstInputDtype, ConsistentDtypeStr((aclDataType)cstInputDtype), (unsigned long long)cstInputShapeSz, cstInputBytes, ConsistentSizeOfDtype((aclDataType)cstInputDtype));
if (cstInputBytes == 0 && inputDeviceAddr != nullptr) {
printf("[FUZZ_CONSISTENT_BYTES] case_%d: WARN tensor=input addr!=nullptr but cstBytes=0, dtype may be uncovered by ConsistentSizeOfDtype\n", fuzzi);
}
cstInputSaveBuf = (cstInputBytes > 0) ? malloc(cstInputBytes) : nullptr;
if (cstInputSaveBuf != nullptr && inputDeviceAddr != nullptr) {
aclrtMemcpy(cstInputSaveBuf, cstInputBytes, inputDeviceAddr, cstInputBytes, ACL_MEMCPY_DEVICE_TO_HOST);
}
cstOutBytes = (outDeviceAddr != nullptr) ? (size_t)cstOutShapeSz * (size_t)ConsistentSizeOfDtype((aclDataType)cstOutDtype) : 0;
printf("[FUZZ_CONSISTENT_BYTES] case_%d: tensor=out, dtype=%d(%s), shapeSize=%llu, cstBytes=%zu, ConsistentSizeOfDtype=%zu\n", fuzzi, (int)cstOutDtype, ConsistentDtypeStr((aclDataType)cstOutDtype), (unsigned long long)cstOutShapeSz, cstOutBytes, ConsistentSizeOfDtype((aclDataType)cstOutDtype));
if (cstOutBytes == 0 && outDeviceAddr != nullptr) {
printf("[FUZZ_CONSISTENT_BYTES] case_%d: WARN tensor=out addr!=nullptr but cstBytes=0, dtype may be uncovered by ConsistentSizeOfDtype\n", fuzzi);
}
cstOutSaveBuf = (cstOutBytes > 0) ? malloc(cstOutBytes) : nullptr;
if (cstOutSaveBuf != nullptr && outDeviceAddr != nullptr) {
aclrtMemcpy(cstOutSaveBuf, cstOutBytes, outDeviceAddr, cstOutBytes, ACL_MEMCPY_DEVICE_TO_HOST);
}
cstRunCount = 0;
cstAllOk = true;
for (int cstRun = 0; cstRun < CONSISTENT_RUN_TIMES; cstRun++) {
if (cstInputSaveBuf != nullptr && inputDeviceAddr != nullptr) {
aclrtMemcpy(inputDeviceAddr, cstInputBytes, cstInputSaveBuf, cstInputBytes, ACL_MEMCPY_HOST_TO_DEVICE);
}
if (cstOutSaveBuf != nullptr && outDeviceAddr != nullptr) {
aclrtMemcpy(outDeviceAddr, cstOutBytes, cstOutSaveBuf, cstOutBytes, ACL_MEMCPY_HOST_TO_DEVICE);
}
ret = aclnnBernoulliGetWorkspaceSize(input, prob, seed, offset, out, &workspaceSize, &executor);
if (ret != ACL_SUCCESS) {
printf("aclnnBernoulli execute failed :%d\n", (int)ret);
printf("[FUZZ_CONSISTENT] case_%d: faild, type=execute_error, stage=GetWorkspaceSize, run=%d/%d, ret=%d\n", fuzzi, cstRun + 1, CONSISTENT_RUN_TIMES, (int)ret);
cstAllOk = false;
break;
}
if (workspaceSize > 0) {
if (workspaceAddr != nullptr) { aclrtFree(workspaceAddr); workspaceAddr = nullptr; }
ret = aclrtMalloc(&workspaceAddr, workspaceSize, ACL_MEM_MALLOC_HUGE_FIRST);
if (ret != ACL_SUCCESS) {
printf("[FUZZ_CONSISTENT] case_%d: faild, type=execute_error, stage=workspace_malloc, run=%d/%d, ret=%d\n", fuzzi, cstRun + 1, CONSISTENT_RUN_TIMES, (int)ret);
cstAllOk = false;
break;
}
}
ret = aclnnBernoulli(workspaceAddr, workspaceSize, executor, stream);
if (ret != ACL_SUCCESS) {
printf("aclnnBernoulli execute failed :%d\n", (int)ret);
printf("[FUZZ_CONSISTENT] case_%d: faild, type=execute_error, stage=execute, run=%d/%d, ret=%d\n", fuzzi, cstRun + 1, CONSISTENT_RUN_TIMES, (int)ret);
cstAllOk = false;
break;
}
ret = aclrtSynchronizeStream(stream);
if (ret != ACL_SUCCESS) {
printf("[FUZZ_CONSISTENT] case_%d: faild, type=execute_error, stage=sync, run=%d/%d, ret=%d\n", fuzzi, cstRun + 1, CONSISTENT_RUN_TIMES, (int)ret);
cstAllOk = false;
break;
}
if (inputDeviceAddr != nullptr && cstInputBytes > 0) {
cstInputHashArr[cstRun] = ConsistentHashDeviceTensor(inputDeviceAddr, cstInputBytes);
}
if (outDeviceAddr != nullptr && cstOutBytes > 0) {
cstOutHashArr[cstRun] = ConsistentHashDeviceTensor(outDeviceAddr, cstOutBytes);
}
cstRunCount++;
printf("aclnnBernoulli execute success :%d\n", (int)ret);
}
if (cstAllOk && cstRunCount == CONSISTENT_RUN_TIMES) {
bool cstInputSame = true;
for (int cstR = 1; cstR < CONSISTENT_RUN_TIMES; cstR++) {
if (cstInputHashArr[cstR] != cstInputHashArr[0]) { cstInputSame = false; break; }
}
bool cstOutSame = true;
for (int cstR = 1; cstR < CONSISTENT_RUN_TIMES; cstR++) {
if (cstOutHashArr[cstR] != cstOutHashArr[0]) { cstOutSame = false; break; }
}
bool cstAllSame = cstInputSame && cstOutSame;
if (cstAllSame) {
printf("[FUZZ_CONSISTENT] case_%d: success, type=consistent, runs=%d, hash_consistent=all\n", fuzzi, CONSISTENT_RUN_TIMES);
printf("[FUZZ_RESULT] case_%d: success, ret=%d\n", fuzzi, (int)ret);
cstResultPrinted = true;
} else {
printf("[FUZZ_CONSISTENT] case_%d: faild, type=hash_mismatch, runs=%d, inconsistent=", fuzzi, CONSISTENT_RUN_TIMES);
if (!cstInputSame) printf("input ");
if (!cstOutSame) printf("out ");
printf("\n");
printf("[FUZZ_CONSISTENT_DETAIL] case_%d: input hash:", fuzzi);
for (int cstR = 0; cstR < CONSISTENT_RUN_TIMES; cstR++) printf(" run%d=%llu", cstR, (unsigned long long)cstInputHashArr[cstR]);
printf("\n");
printf("[FUZZ_CONSISTENT_DETAIL] case_%d: out hash:", fuzzi);
for (int cstR = 0; cstR < CONSISTENT_RUN_TIMES; cstR++) printf(" run%d=%llu", cstR, (unsigned long long)cstOutHashArr[cstR]);
printf("\n");
printf("[FUZZ_PARAM] ");
printf("input: dtype=%s, format=%s, ", ConsistentDtypeStr((aclDataType)cstInputDtype), ConsistentFormatStr(fmt)); printf("shapeSize=%llu", (unsigned long long)cstInputShapeSz); printf("; ");
printf("out: dtype=%s, format=%s, ", ConsistentDtypeStr((aclDataType)cstOutDtype), ConsistentFormatStr(fmt)); printf("shapeSize=%llu", (unsigned long long)cstOutShapeSz); printf("; ");
printf("prob=%g; ", (double)cstProbVal);
printf("seed=%lld; ", (long long)seed);
printf("offset=%lld; ", (long long)offset);
printf("tiling_key=%s\n", curTilingKey);
printf("[FUZZ_RESULT] case_%d: faild, ret=%d\n", fuzzi, -2);
cstResultPrinted = true;
}
} else if (!cstAllOk) {
printf("[FUZZ_PARAM] ");
printf("input: dtype=%s, format=%s, ", ConsistentDtypeStr((aclDataType)cstInputDtype), ConsistentFormatStr(fmt)); printf("shapeSize=%llu", (unsigned long long)cstInputShapeSz); printf("; ");
printf("out: dtype=%s, format=%s, ", ConsistentDtypeStr((aclDataType)cstOutDtype), ConsistentFormatStr(fmt)); printf("shapeSize=%llu", (unsigned long long)cstOutShapeSz); printf("; ");
printf("prob=%g; ", (double)cstProbVal);
printf("seed=%lld; ", (long long)seed);
printf("offset=%lld; ", (long long)offset);
printf("tiling_key=%s\n", curTilingKey);
printf("[FUZZ_RESULT] case_%d: faild, ret=%d\n", fuzzi, (int)ret);
cstResultPrinted = true;
}
}
catch (std::exception& e)
{
printf("catch exception %s\n", e.what());
printf("[FUZZ_CONSISTENT] case_%d: faild, type=exception, ret=%d\n", fuzzi, (int)ret);
printf("[FUZZ_RESULT] case_%d: faild, ret=%d\n", fuzzi, (int)ret);
cstResultPrinted = true;
}
ERROR:
printf("end \n");
CheckAndLog(ret);
pid_t pid = getpid();
std::string cmd = "grep -rin \'aicore error\' /root/ascend/log/debug/plog/";
printf("system return value %d\n", CheckResult(pid));
if (prob) { aclDestroyScalar(prob); }
if (cstInputSaveBuf != nullptr) { free(cstInputSaveBuf); cstInputSaveBuf = nullptr; }
if (cstOutSaveBuf != nullptr) { free(cstOutSaveBuf); cstOutSaveBuf = nullptr; }
aclDestroyTensor(input);
aclDestroyTensor(out);
aclrtFree(inputDeviceAddr);
aclrtFree(outDeviceAddr);
if (workspaceSize > 0 && workspaceAddr) { aclrtFree(workspaceAddr); }
}
DT_FUZZ_END()
WriteDTLog("aclnnBernoulli", "aclnnBernoulli consistent op fuzz total number:%u, para error number %u, execute error number %u \n", fuzz_num, aclnn_INVALID_Para, aclnn_Inner_Error + Runtime_Error);
WriteDTLog("aclnnBernoulli", "aclnnBernoulli consistent op fuzz end \n");
aclrtDestroyStream(stream);
aclrtDestroyContext(context);
aclrtResetDevice(deviceId);
aclFinalize();
return 0;
}
extern "C" int aclnnBernoulli_consistent_fuzz(int argc, char *argv[]);
int aclnnBernoulli_consistent_fuzz(int argc, char *argv[])
{
const char* cstRunEnv = getenv("CONSISTENT_RUN_TIMES");
if (cstRunEnv != nullptr) {
int cstRunV = atoi(cstRunEnv);
if (cstRunV > 0 && cstRunV <= CONSISTENT_MAX_RUN_TIMES) { CONSISTENT_RUN_TIMES = cstRunV; }
}
printf("[FUZZ_CONSISTENT_RUNTIMES] run_times=%d\n", CONSISTENT_RUN_TIMES);
int fuzz_num = MAXFUZZNUMBER;
if (argc < 1) {
cout << "[ERROR] input arg num must be bigger than 1 \n" << endl;
return -1;
}
else if (argc > 1) {
fuzz_num = atoi(argv[2]);
}
if (argc == 4) { deviceId = atoi(argv[3]); }
printf("fuzz_num %d \n", fuzz_num);
printf("aclnnBernoulli_consistent :%d \n", aclnnBernoulli_consistent(fuzz_num));
return 0;
}