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;
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;
}
int main()
{
static struct L0 *list;
int c = 0;
do {
c++;
l0_insert(&list);
} while (c < 2);
l0_destroy(list);
}
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;
}
