int main (int argc, char **argv) {
int i,j;
for (i=1; i<SBS_NUM_TESTS; i++) {
uint32_t nbits = i;
bitset_set_max_num_elements(nbits);
printf ("\n\ni=%d nb=%d\n", i, nbits);
uint32_t num_bs = SBS_NUM_TESTS;
BitSet *bs; // = (BitSet *) my_malloc(sizeof(BitSet) * num_bs);
bs = bitset_new();
/*
for (j=0; j<num_bs; j++) {
bs[j] = bitset_new();
}
*/
for (j=0; j<nbits * SBS_DUNNO ; j++) {
printf ("j=%d\n", j);
int element = rand() % nbits;
printf ("set %d\n", element);
bitset_add(bs,element);
assert (bitset_member(bs,element));
bitset_spit(bs);
printf ("\n");
element = rand() % nbits;
printf ("unset %d\n", element);
bitset_remove(bs,element);
assert (!(bitset_member(bs,element)));
bitset_spit(bs);
printf ("\n");
}
bitset_free(bs);
}
}
static SB_INLINE void labelset_spit(LabelSet *ls) {
assert(ls->set != NULL);
bitset_spit(*(ls->set));
}
