int main() { unsigned x, y; __CPROVER_input("x", x); __CPROVER_input("y", y); if (!(x>3) && y<5) ; return 1; }
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; }
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; }
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; }
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; }