C++ (Cpp) returnOneの例

コード例 #1

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

int main(void) {
  int a;

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

コード例 #2

ファイル: func.c プロジェクト: wei-wang-523/cascade

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

コード例 #3

ファイル: undefinedFunc_false-valid-assert.c プロジェクト: wei-wang-523/cascade

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

コード例 #4

ファイル: foo.c プロジェクト: ncho-sqd/git

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