| 64 | #include "log.h" |
| 65 | |
| 66 | char *td_getcwd(char *buf, unsigned long size) |
| 67 | { |
| 68 | /* buf must non-NULL*/ |
| 69 | #ifdef HAVE_GETCWD |
| 70 | if(getcwd(buf, size)!=NULL) |
| 71 | { |
| 72 | /*@ assert valid_string(buf); */ |
| 73 | return buf; |
| 74 | } |
| 75 | buf[0]='/'; |
| 76 | buf[1]='\0'; |
| 77 | #else |
| 78 | buf[0]='.'; |
| 79 | buf[1]='\0'; |
| 80 | #endif |
| 81 | /*@ assert valid_string(buf); */ |
| 82 | return buf; |
| 83 | } |
| 84 | |
| 85 | char *get_default_location(void) |
| 86 | { |
no outgoing calls
no test coverage detected