Exemplos de __CPROVER_printf_1 em C++ (Cpp)

Exemplo n.º 1

unsigned char  Loop_main_for1(int  *rvp_i, int  *rvp_l, int  *rvp_rvretval)
{
  if( !(*rvp_i < 20) )
    return 0;

  {
    __CPROVER_printf_1("%2d ",(long ) (F(*rvp_i)));
    (*rvp_l)++;
    if (*rvp_i > 20)
    {
      {
        *rvp_rvretval = 3;
        return 123;
      }

    }

  }

  (*rvp_i)++;
  {
    return Loop_main_for1(rvp_i,rvp_l,rvp_rvretval);
  }
  return 0;
}

Exemplo n.º 2

unsigned char  Loop_main_for3(int  *rvp_i, int  *rvp_l, int  *rvp_rvretval)
{
  if( !(*rvp_i < 20) )
    return 0;

  {
    __CPROVER_printf_1("%2d ",(long ) (M(*rvp_i)));
    (*rvp_l)++;
  }

  (*rvp_i)++;
  return 0;
}

Exemplo n.º 3

unsigned char  Loop_main_while2(int  i, int  *rvp_rvretval)
{
  if( !(i < 10) )
    return 0;

  {
    __CPROVER_printf_1("%2d",(long ) (F(i)));
    {
      return 123;
    }

  }

  return 0;
}

Exemplo n.º 4

extern int  puts(char  *s)
{
__CPROVER_HIDE:
  __CPROVER_printf_1("%s\n",(long ) (s));
}

Exemplo n.º 5

extern int  putchar(int  c)
{
__CPROVER_HIDE:
  __CPROVER_printf_1("%c\n",(long ) (c));
}