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 d5f1bc5 commit 35d7f66Copy full SHA for 35d7f66
src/sys/stm_tests.ml
@@ -277,6 +277,7 @@ struct
277
| Error (Sys_error s) ->
278
(s = (p complete_path) ^ ": No such file or directory" && not (mem_model fs complete_path)) ||
279
(s = (p complete_path) ^ ": Is a directory" && path_is_a_dir fs complete_path) ||
280
+ (s = (p complete_path) ^ ": Operation not permitted" && path_is_a_dir fs complete_path) ||
281
(s = (p complete_path) ^ ": Not a directory" && not (path_is_a_dir fs path))
282
| Error _ -> false
283
)
0 commit comments