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;
}