libcdsb/tests/src/set/main.c

/* This software is licensed by the MIT License, see LICENSE file */
/*                                Copyright © 2022 Gregory Lirent */

#include "plug.h"

int main(int argc, char** argv) {
    test_init(argc, argv);

    set_t x = vset_random(36, 0.1);

    while(vset_remove_random(&x, 0.1)) {}
    vset_free(&x);
}