C++ (Cpp) SLL_destroyの例

コード例 #1

ファイル: copy.c プロジェクト: ChunHungLiu/SLAyer

void main() {
  PSLL_ENTRY x = NULL, y = NULL;
  x = SLL_create(nondet());
  y = copy(x);
  SLL_destroy(x);
  SLL_destroy(y);
}

コード例 #2

ファイル: insertion_sort_inlined_unsafe.c プロジェクト: ChunHungLiu/SLAyer

void main() {
  PSLL_ENTRY x = NULL, y, c, h, elem, prev;
  x = SLL_create(17);

  c = x;
  x = NULL;
  while (c != NULL) {
    y = c;
    c = c->Flink;
    y->Flink = NULL;
    elem = x;
    prev = NULL;
    while (elem != NULL) {
      if (elem->Data >= y->Data) {
	y->Flink = elem;
	if (prev == NULL) { x = y; goto retn; }
	prev->Flink = y;
	goto retn;
      }
      elem = elem->Flink;
      prev = elem;
    }
    y->Flink = elem;
    if (prev == NULL) { x = y; goto retn; }
    prev->Flink = y;
  retn: ;
  }

  SLL_destroy(c);
  SLL_destroy(x);
}

コード例 #3

ファイル: traverse_1lists.c プロジェクト: ChunHungLiu/SLAyer

void main(void) {
  PSLL_ENTRY head,head1;

  head = SLL_create(nondet());
  head1 = SLL_create(nondet());
  traverse(head);
  SLL_destroy(head);
  SLL_destroy(head1);
}

コード例 #4

ファイル: ex9.c プロジェクト: ArtisticCoding/T2

int main()
{
    PSLL_ENTRY x = NULL, y = NULL;
    int s = __llbmc_nondef_int();
    __llbmc_assume(s <= 5);
    x = SLL_create(s);
    y = copy(x);
    SLL_destroy(x);
    SLL_destroy(y);
    return 0;
}

コード例 #5

ファイル: splice_unsafe.c プロジェクト: ChunHungLiu/SLAyer

void main() {
  PSLL_ENTRY x, y, z;
  x = SLL_create(nondet());
  y = SLL_create(nondet());
  z = splice(x, y);
  SLL_destroy(z);
}

コード例 #6

ファイル: reverse_negative_sublists_unsafe.c プロジェクト: ChunHungLiu/SLAyer

void main() {
  PSLL_ENTRY x = NULL;
  x = SLL_create(nondet());
  x = reverse_negative_sublists2(x);
  reverse_negative_sublists(&x);
  SLL_destroy(x);
}

コード例 #7

ファイル: sll_create_destroy_rec.c プロジェクト: Orwel/forester

void SLL_destroy(struct SLL const* sll)
{
    if (sll != 0)
    {
        SLL_destroy(sll->next);
        free((void*)sll);
    }
}

コード例 #8

ファイル: reverse_div_unsafe.c プロジェクト: ChunHungLiu/SLAyer

void main() {
  PSLL_ENTRY head;

  head = SLL_create(nondet());

  reverse_div(&head);

  SLL_destroy(head);
}

コード例 #9

ファイル: reverse_ret.c プロジェクト: Microsoft/SLAyer

void main() {
    PSLL_ENTRY x = NULL, y = NULL;
    x = cons(4, x);
    x = cons(3, x);
    x = cons(2, x);
    x = cons(1, x);
    x = reverse(x);
    SLL_destroy(x);
}

コード例 #10

ファイル: find_ret.c プロジェクト: ChunHungLiu/SLAyer

void main() {
  PSLL_ENTRY x = NULL, y = NULL;
  x = cons(4, x);
  x = cons(3, x);
  x = cons(2, x);
  x = cons(1, x);
  y = find(x, 2);
  SLL_destroy(x);
}

コード例 #11

ファイル: sll_create_destroy_rec.c プロジェクト: Orwel/forester

int main()
{
    int const A[] = { 1, 2, 3, 4, 5 };
    int const n = sizeof(A)/sizeof(A[0]);

    struct SLL* sll = SLL_create(n,A);
    SLL_destroy(sll);

    return 0;
}

コード例 #12

ファイル: filter_unsafe.c プロジェクト: ChunHungLiu/SLAyer

void main() {
  PSLL_ENTRY x = SLL_create(nondet());

  print_list(x); printf_s("\n");

  filter(&x, 1);

  print_list(x);

  SLL_destroy(x);
}

コード例 #13

ファイル: slayer-n1_2.c プロジェクト: ArtisticCoding/T2

void main(void) {
	PSLL_ENTRY head, x;

	head = SLL_create(nondet());
	x = head;

	while (x != NULL) {
		x = head->Flink;
	}

	SLL_destroy(head);
}

コード例 #14

ファイル: slayer-3-new.c プロジェクト: ArtisticCoding/T2

void main(void) {
	PSLL_ENTRY head, x;
	int i;

	head = SLL_create(nondet());
	x = head;

	while (x != NULL && i > 0) {
		if (nondet()) {
			i--;
		} else {
			x = x->Flink;
		}
	}

	SLL_destroy(head);
}

コード例 #15

ファイル: append_ret_fs.c プロジェクト: Microsoft/SLAyer

void main() {
    PSLL_ENTRY x, x1, x2, x3, y, y1, y2;
    x3 = (PSLL_ENTRY)malloc(sizeof(SLL_ENTRY));
    x3->Flink = NULL;
    x2 = (PSLL_ENTRY)malloc(sizeof(SLL_ENTRY));
    x2->Flink = x3;
    x1 = (PSLL_ENTRY)malloc(sizeof(SLL_ENTRY));
    x1->Flink = x2;
    x = (PSLL_ENTRY)malloc(sizeof(SLL_ENTRY));
    x->Flink = x1;
    y2 = (PSLL_ENTRY)malloc(sizeof(SLL_ENTRY));
    y2->Flink = NULL;
    y1 = (PSLL_ENTRY)malloc(sizeof(SLL_ENTRY));
    y1->Flink = y2;
    y = (PSLL_ENTRY)malloc(sizeof(SLL_ENTRY));
    y->Flink = y1;
    x = append(x, y);
    SLL_destroy(x);
}

コード例 #16

ファイル: insertion_sort.c プロジェクト: Microsoft/SLAyer

void main() {
    PSLL_ENTRY x;
    x = SLL_create(17);
    x = insertion_sort(x);
    SLL_destroy(x);
}