Focus on In_channel

Drop Out_channel of the tests

Author: shym

src/io/lin_tests_dsl_domain.ml

@@ -6,13 +6,6 @@ module IC_domain = Lin_domain.Make(Lin_tests_spec_io.ICConf)
 module OC_domain = Lin_domain.Make(Lin_tests_spec_io.OCConf)
 
 let tests =
-  IC_domain.neg_lin_test ~count:1000 ~name:"Lin DSL In_channel test with Domain" ::
-  if Sys.getenv_opt "OCAML_SYSTEM" = Some "macosx"
-  then (
-    Printf.printf "Lin DSL Out_channel test with Domain disabled under macOS\n\n%!";
-    []
-  ) else [
-    OC_domain.neg_lin_test ~count:5000 ~name:"Lin DSL Out_channel test with Domain";
-  ]
+  [IC_domain.neg_lin_test ~count:1000 ~name:"Lin DSL In_channel test with Domain"]
 
 let _ = QCheck_base_runner.run_tests_main tests