Example #1
0
int main()
{
    static struct L0 *list;

    do
        l0_insert(&list);
    while (___sl_get_nondet_int());

    ___sl_plot("00-ready");

    l0_destroy(list, /* level */ 5);
    ___sl_plot("01-removed-l5");

    l0_destroy(list, /* level */ 4);
    ___sl_plot("02-removed-l4");

    l0_destroy(list, /* level */ 3);
    ___sl_plot("03-removed-l3");

    l0_destroy(list, /* level */ 2);
    ___sl_plot("04-removed-l2");

    l0_destroy(list, /* level */ 1);
    ___sl_plot("05-removed-l1");

    l0_destroy(list, /* level */ 0);
    ___sl_plot("06-removed-l0");

    return !!list;
}
Example #2
0
int main()
{
    static struct L0 *list;

    do
        l0_insert(&list);
    while (___sl_get_nondet_int());

    ___sl_plot("01-ready");

    l0_destroy(list);
}
int main()
{
    static struct L0 *list;

    int c = 0;

    do {
        c++;
        l0_insert(&list);
    } while (c < 2);

    l0_destroy(list);
}
Example #4
0
int main()
{
    static struct L0 *list;

    do
        l0_insert(&list);
    while (__VERIFIER_nondet_int());

    l0_destroy(list, /* level */ 5);
    l0_destroy(list, /* level */ 4);
    l0_destroy(list, /* level */ 3);
    l0_destroy(list, /* level */ 2);
    l0_destroy(list, /* level */ 1);
    l0_destroy(list, /* level */ 0);

    return !!list;
}