Skip to content

Commit

Permalink
remove old comments
Browse files Browse the repository at this point in the history
  • Loading branch information
jmid committed Sep 7, 2021
1 parent a1f0592 commit ce76651
Show file tree
Hide file tree
Showing 2 changed files with 12 additions and 13 deletions.
14 changes: 7 additions & 7 deletions test/core/QCheck2_expect_test.ml
Original file line number Diff line number Diff line change
Expand Up @@ -143,7 +143,7 @@ module Shrink = struct

let strings_are_empty =
Test.make ~name:"strings are empty" ~count:1000 ~print:Print.string
Gen.string (fun s -> (*Printf.printf "\"%s\"\n" (String.escaped s);*) s = "")
Gen.string (fun s -> s = "")

let string_never_has_000_char =
Test.make ~name:"string never has a \\000 char" ~count:1000 ~print:Print.string
Expand All @@ -164,7 +164,7 @@ module Shrink = struct

let list_shorter_10 =
Test.make ~name:"lists shorter than 10" ~print:Print.(list int)
Gen.(list small_int) (fun xs -> (*print_list xs;*) List.length xs < 10)
Gen.(list small_int) (fun xs -> List.length xs < 10)

let length_printer xs =
Printf.sprintf "[...] list length: %i" (List.length xs)
Expand All @@ -173,17 +173,17 @@ module Shrink = struct

let list_shorter_432 =
Test.make ~name:"lists shorter than 432" ~print:length_printer
Gen.(list_size size_gen small_int) (*Gen.(list small_int)*)
(fun xs -> (*print_list xs;*) List.length xs < 432)
Gen.(list_size size_gen small_int)
(fun xs -> List.length xs < 432)

let list_shorter_4332 =
Test.make ~name:"lists shorter than 4332" ~print:length_printer
Gen.(list_size size_gen small_int) (*Gen.(list small_int)*)
(fun xs -> (*print_list xs;*) List.length xs < 4332)
Gen.(list_size size_gen small_int)
(fun xs -> List.length xs < 4332)

let list_equal_dupl =
Test.make ~name:"lists equal to duplication" ~print:Print.(list int)
Gen.(list_size size_gen small_int) (*Gen.(list small_int)*)
Gen.(list_size size_gen small_int)
(fun xs -> try xs = xs @ xs
with Stack_overflow -> false)

Expand Down
11 changes: 5 additions & 6 deletions test/core/QCheck_expect_test.ml
Original file line number Diff line number Diff line change
Expand Up @@ -137,7 +137,7 @@ module Shrink = struct

let strings_are_empty =
Test.make ~name:"strings are empty" ~count:1000
string (fun s -> (*Printf.printf "\"%s\"\n" (String.escaped s);*) s = "")
string (fun s -> s = "")

let string_never_has_000_char =
Test.make ~name:"string never has a \\000 char" ~count:1000
Expand All @@ -157,7 +157,7 @@ module Shrink = struct

let list_shorter_10 =
Test.make ~name:"lists shorter than 10"
(list small_int) (fun xs -> (*print_list xs;*) List.length xs < 10)
(list small_int) (fun xs -> List.length xs < 10)

let length_printer xs =
Printf.sprintf "[...] list length: %i" (List.length xs)
Expand All @@ -166,18 +166,17 @@ module Shrink = struct

let list_shorter_432 =
Test.make ~name:"lists shorter than 432"
(set_print length_printer (list_of_size size_gen small_int)) (*(list small_int)*)
(fun xs -> (*print_list xs;*) List.length xs < 432)
(set_print length_printer (list_of_size size_gen small_int))
(fun xs -> List.length xs < 432)

let list_shorter_4332 =
Test.make ~name:"lists shorter than 4332"
(set_shrink Shrink.list_spine (set_print length_printer (list_of_size size_gen small_int)))
(fun xs -> (*print_list xs;*) List.length xs < 4332)
(fun xs -> List.length xs < 4332)

let list_equal_dupl =
Test.make ~name:"lists equal to duplication"
(list_of_size size_gen small_int)
(*(list small_int)*)
(fun xs -> try xs = xs @ xs
with Stack_overflow -> false)

Expand Down

0 comments on commit ce76651

Please sign in to comment.