Exemplos de init_nondet_ll em C++ (Cpp)

Exemplo n.º 1

Arquivo: nondet_ll_search-alloca_false-termination.c Projeto: Heizmann/sv-benchmarks

int main ()
{
    int n = __VERIFIER_nondet_int();
    node_t* head = init_nondet_ll(n);
    safe_search(head, __VERIFIER_nondet_int());
    return 0;
}

Exemplo n.º 2

Arquivo: nondet_ll_traverse-alloca_false-termination.c Projeto: oliverstth/sv-benchmarks

int main ()
{
  int n = __VERIFIER_nondet_int();
  node_t* head = init_nondet_ll(n);
  traverse(head);
  return 0;
}

Exemplo n.º 3

Arquivo: nondet_ll_search-alloca_true-termination.c Projeto: QEuphemia/sv-benchmarks

void main ()
{
  int n = __VERIFIER_nondet_int();
  node_t* head = init_nondet_ll(n);
  safe_search(head, __VERIFIER_nondet_int() % n);
}