C++ (Cpp) bugBrokenOutの例

コード例 #1

ファイル: main.c プロジェクト: AnnaTrost/cbmc

int main (void) {
  float f;
  bug(f);

  float g;
  bugBrokenOut(g);

  double d;
  bugCasting(d);

  return 1;
}

コード例 #2

ファイル: float20.c プロジェクト: kfriedberger/sv-benchmarks

int main (void) {
  float f=__VERIFIER_nondet_float();
  bug(f);

  float g=__VERIFIER_nondet_float();
  bugBrokenOut(g);

  double d=__VERIFIER_nondet_double();
  bugCasting(d);

  return 1;
}