We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d1a40e4 commit 54f78d7Copy full SHA for 54f78d7
src/sys/stm_tests.ml
@@ -289,6 +289,7 @@ struct
289
| Error (Sys_error s) ->
290
(s = (p complete_path) ^ ": No such file or directory" && not (mem_model fs complete_path)) ||
291
(s = (p complete_path) ^ ": Is a directory" && path_is_a_dir fs complete_path) ||
292
+ (s = (p complete_path) ^ ": Operation not permitted" && path_is_a_dir fs complete_path) ||
293
(s = (p complete_path) ^ ": Not a directory" && not (path_is_a_dir fs path))
294
| Error _ -> false
295
)
0 commit comments