Merge pull request #319 from ocaml-multicore/out-channel-freq-adjust

Out_channel frequency adjustment
ocaml-multicore · Apr 14, 2023 · 49cd0dd · 49cd0dd
2 parents dadac62 + 28edcc9
commit 49cd0dd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/io/lin_tests_dsl_common.ml b/src/io/lin_tests_dsl_common.ml
@@ -67,8 +67,8 @@ module OCConf : Lin.Spec = struct
     (* val_ "Out_channel.with_open_gen"    Out_channel.with_open_gen    (open_flag list @-> int @-> string @-> (t @-> 'a) @-> returning 'a) ; *)
 
     val_ "Out_channel.seek"             (lift Out_channel.seek)             (t @-> int64 @-> returning_or_exc unit) ;
-    val_ "Out_channel.pos"              (lift Out_channel.pos)              (t @-> returning_or_exc int64) ;
-    val_ "Out_channel.length"           (lift Out_channel.length)           (t @-> returning_or_exc int64) ;
+    val_freq 3 "Out_channel.pos"        (lift Out_channel.pos)              (t @-> returning_or_exc int64) ;
+    val_freq 3 "Out_channel.length"     (lift Out_channel.length)           (t @-> returning_or_exc int64) ;
     val_ "Out_channel.close"            (lift Out_channel.close)            (t @-> returning_or_exc unit) ;
     val_ "Out_channel.close_noerr"      (lift Out_channel.close_noerr)      (t @-> returning unit) ;
     val_ "Out_channel.flush"            (lift Out_channel.flush)            (t @-> returning_or_exc unit) ;