cvc4-1.3
|
Files | |
file | clock_gettime.h [code] |
Replacement for clock_gettime() for systems without it (like Mac OS X) | |
file | ffs.h [code] |
Replacement for ffs() for systems without it (like Win32) | |
file | strtok_r.h [code] |
Replacement for strtok_r() for systems without it (like Win32) | |