Exemplo n.º 1
0
int main()
{
  unsigned x, y;
  
  __CPROVER_input("x", x);
  __CPROVER_input("y", y);
  
  if (!(x>3) && y<5) 
    ;

  return 1;
}
Exemplo n.º 2
0
int main()
{
  __CPROVER_bool A, B, C, D;

  __CPROVER_input("A", A);
  __CPROVER_input("B", B);
  __CPROVER_input("C", C);
  __CPROVER_input("D", D);

  if((A || B)  && (C || D)) 
  {
  }
  else
  {
  }

  return 1;
}
Exemplo n.º 3
0
int main()
{
  _Bool A, B, C;

  __CPROVER_input("cold", A);
  __CPROVER_input("raining", B);
  __CPROVER_input("windy", C);

  if ( A || B || C )
  {
  /* instructions */
  }
  else
  {
  /* instructions */
  }

  return 1;
}
Exemplo n.º 4
0
int main()
{

  __CPROVER_bool A, B, C, D;

  __CPROVER_input("A", A);
  __CPROVER_input("B", B);
  __CPROVER_input("C", C);
  __CPROVER_input("D", D);

  if((A && B) || (C && D)) 
  {
  }
  else
  {
  }

  return 1;
}
Exemplo n.º 5
0
int main()
{
  char a[10];
  __CPROVER_input("a[3]", a[3]);

  int len = strlen(a);

  if(len==3)
  {
    return 0;
  }
  else if(len==4)
  {
    return -1;
  }
  return 1;
}