C++ (Cpp) l0_insert Examples

Example #1

File: test-0235.c Project: jpokorny/predator

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

File: test-0237.c Project: jpokorny/predator

int main()
{
    static struct L0 *list;

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

    ___sl_plot("01-ready");

    l0_destroy(list);
}

Example #3

File: test-0237_true-valid-memsafety.c Project: SunshineAllWay/CPAchecker

int main()
{
    static struct L0 *list;

    int c = 0;

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

    l0_destroy(list);
}

Example #4

File: test-0235_true.c Project: jirislaby/svcomp

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;
}