Non-members can generate member certificates and can be verified

[pandy1715]

start = clock();
wb_y = issueWitness(accumulator, yb, MEMBERSHIP);
end = clock();
cpu_time_used = ((double) (end - start)) / CLOCKS_PER_SEC;
printf("~~Issue Non-membership witness took %fs\n", cpu_time_used);

This can pass the test, but WB_ Y is not a member

[pandy1715]

you can try this in issueWitness
if (isMembership == true) {
//Compute fV(-y)
bn_set_dig(w_y->d, 1);
//Computing fV(-y) everyime is better than keeping fV updated
for (int i = 0; i < accumulator->totAccEl; i++) {
bn_sub(tmp, accumulator->Y[i], y);
bn_mul(w_y->d, w_y->d, tmp);
bn_mod(w_y->d, w_y->d, accumulator->n);
}
assert(bn_cmp_dig(w_y->d, 0) == RLC_EQ);
g1_mul(w_y->C, accumulator->V, yplusainv);
bn_set_dig(w_y->d, 0);
}