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 88ccf15 commit f932edaCopy full SHA for f932eda
src/sys/stm_tests.ml
@@ -178,15 +178,7 @@ struct
178
if mem_model fs (path @ [new_file_name])
179
then fs
180
else mkfile_model fs path new_file_name
181
-(*
182
- let env = Unix.environment ()
183
-
184
- let sys_command_silent cmd =
185
- let stdout,stdin,stderr = Unix.open_process_full cmd env in
186
- In_channel.close stdout;
187
- Out_channel.close stdin;
188
- In_channel.close stderr
189
-*)
+
190
let init_sut () =
191
try Sys.mkdir sandbox_root 0o700
192
with Sys_error msg when msg = sandbox_root ^ ": File exists" -> ()
0 commit comments