/*******************************************************************\


Author: Felipe Rodrigues


\*******************************************************************/

class QApplication
{
public:
  QApplication(int &argc, char **argv)
  {
    __ESBMC_assert(argc > 0, "invalid parameter");
  }
  int exec()
  {
  }
};
