fork download
  1. #include <stdio.h>
  2. #include <string.h>
  3.  
  4. i;f(char *s){for(i=8;i<24;i+=5)s[i]=s[i]-45?1:s[i]+3;for(i=0;isxdigit(s[i]);i++);return i==36&&!s[i];}
  5.  
  6. int main (int argc, char **argv) {
  7. int j;
  8. char *t[] = {
  9. "0FCE98AC-1326-4C79-8EBC-94908DA8B034",
  10. "00000000-0000-0000-0000-000000000000",
  11. "0fce98ac-1326-4c79-8ebc-94908da8b034",
  12. "0FCE98ac-1326-4c79-8EBC-94908da8B034",
  13.  
  14. "0FCE98AC-1326-4C79-8EBC-94908DA8B034\n",
  15. "{0FCE98AC-1326-4C79-8EBC-94908DA8B034}",
  16. "0GCE98AC-1326-4C79-8EBC-94908DA8B034",
  17. "0FCE98AC 1326-4C79-8EBC-94908DA8B034",
  18. "0FCE98AC-13264C79-8EBC-94908DA8B034",
  19. "0FCE98AC-13264-C79-8EBC-94908DA8B034",
  20. "0FCE98ACD-1326-4C79-8EBC-94908DA8B034",
  21. "0FCE98AC-1326-4C79-8EBC-94908DA8B034-",
  22. "0FCE98AC-1326-4C79-8EBC-94908DA8B034-123",
  23. "0FCE98AC13264C798EBC94908DA8B034",
  24. "",
  25. };
  26.  
  27. for (j = 0; j < sizeof(t)/sizeof(t[0]); j++) {
  28. char *s = strdup(t[j]);
  29. printf("%d\n", f(s));
  30. free(s);
  31. }
  32.  
  33. return 0;
  34. }
  35.  
Success #stdin #stdout 0s 2288KB
stdin
Standard input is empty
stdout
1
1
1
1
0
0
0
0
0
0
0
0
0
0
0