Esempi in C++ (Cpp) per returnOne

Esempio n. 1

File: simple_pre3.original.c Progetto: ArtisticCoding/T2

int main(void) {
  int a;

  a = -1;
  a = returnOne();
  __SMACK_assert(a == 1 || a == 2);
  return a;
}

Esempio n. 2

File: func.c Progetto: wei-wang-523/cascade

int main() {
  int x = 1;
  int y;
  
  y = addOne(1, returnOne());
  ASSERT(y == x+1);
  return y;
}

Esempio n. 3

File: undefinedFunc_false-valid-assert.c Progetto: wei-wang-523/cascade

int main() {
  int x = 1;
  int y = foo(x);
  
  y = addOne(bar(x), returnOne());
  ASSERT(y == x+1);
  return y;
}

Esempio n. 4

File: foo.c Progetto: ncho-sqd/git

int main(void) {
  return returnOne();
}