Commit a7e49456 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Update to the current version of monolith.

parent 97e48ba6
......@@ -43,11 +43,8 @@ let () =
let element =
sequential()
let max_seq_length =
1024
let aseq spec =
declare_affine_seq ~length:max_seq_length spec
declare_affine_seq ~length:(Gen.lt 1024) spec
let list_of_seq spec =
map_into List.of_seq (List.of_seq, constant "List.of_seq") spec
......
......@@ -43,11 +43,8 @@ let () =
let element =
sequential()
let max_seq_length =
1024
let aseq spec =
declare_affine_seq ~length:max_seq_length spec
declare_affine_seq ~length:(Gen.lt 1024) spec
let list_of_seq spec =
map_into List.of_seq (List.of_seq, constant "List.of_seq") spec
......
......@@ -43,11 +43,8 @@ let () =
let element =
sequential()
let max_seq_length =
1024
let aseq spec =
declare_affine_seq ~length:max_seq_length spec
declare_affine_seq ~length:(Gen.lt 1024) spec
let list_of_seq spec =
map_into List.of_seq (List.of_seq, constant "List.of_seq") spec
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment