Guest User

Untitled

a guest
Jan 16th, 2018
76
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.09 KB | None | 0 0
  1. int c;
  2.  
  3. int f(void) {
  4. return 2;
  5. }
  6.  
  7. void main(void){
  8. c =f();
  9. if(c==2) __VERIFIER_error();
  10. }
Add Comment
Please, Sign In to add comment