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.
s/"Lock"/"Mutex"/
1 parent 1666b8c commit 608deecCopy full SHA for 608deec
test/test_mutex.ml
@@ -77,4 +77,4 @@ module Spec = struct
77
| _, _ -> false
78
end
79
80
-let () = Stm_run.run ~name:"Lock" (module Spec) |> exit
+let () = Stm_run.run ~name:"Mutex" (module Spec) |> exit
0 commit comments