File size: 874 Bytes
78d2150
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
[
  {
    "function_name": "usage",
    "function_signature": "void usage (int status)",
    "include_line": "#include \"../tests/pwd/tests_for_usage.c\""
  },
  {
    "function_name": "file_name_prepend",
    "function_signature": "static void file_name_prepend (struct file_name *p, char const *s, size_t s_len)",
    "include_line": "#include \"../tests/pwd/tests_for_file_name_prepend.c\""
  },
  {
    "function_name": "find_dir_entry",
    "function_signature": "static void find_dir_entry (struct stat *dot_sb, struct file_name *file_name,\n                size_t parent_height)",
    "include_line": "#include \"../tests/pwd/tests_for_find_dir_entry.c\""
  },
  {
    "function_name": "robust_getcwd",
    "function_signature": "static void robust_getcwd (struct file_name *file_name)",
    "include_line": "#include \"../tests/pwd/tests_for_robust_getcwd.c\""
  }
]