Skip to content

Commit 64a4cfc

Browse files
committed
Use bytes_small for shorter counterexample shrinking
1 parent e42ca86 commit 64a4cfc

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/io/lin_tests_spec_io.ml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ module ICConf : Lin.Spec = struct
99
let cleanup = In_channel.close
1010

1111
open Lin
12-
let int,int64 = nat_small,nat64_small
12+
let int,int64,bytes = nat_small,nat64_small,bytes_small
1313

1414
let api = [
1515
(* Only one t is tested, so skip stdin and opening functions *)
@@ -52,7 +52,7 @@ module OCConf : Lin.Spec = struct
5252
let lift f (_, chan) = f chan
5353

5454
open Lin
55-
let int,int64,string = nat_small,nat64_small,string_small
55+
let int,int64,string,bytes = nat_small,nat64_small,string_small,bytes_small
5656
let api = [
5757
(* Only one t is tested, so skip stdout, stderr and opening functions *)
5858

0 commit comments

Comments
 (0)