C++ (Cpp) Thing::getX Examples

Example #1

File: SimpleVirtual.cpp Project: CRYPTOlab/klee

int main(int argc) {
  Thing *one = getThing(false);
  Thing *two = getThing(true);

  int x = one->getX() + two->getX();
  assert(x==3);

  delete two;
  delete one;
  
  assert(decon==2);

  return 0;
}