less deadcode

Author: bartoszmodelski

tests/gen_program.ml

@@ -24,9 +24,13 @@ module Function = struct
   (* Arbitrary function from int to bool *)
   type t = IntSet.t
 
-  let gen value_limit =
-    List.init value_limit (fun i -> if Random.bool () then Some i else None)
-    |> List.filter_map Fun.id |> IntSet.of_list
+  let rec gen value_limit =
+    let true_set =
+      List.init value_limit (fun i -> if Random.bool () then Some i else None)
+      |> List.filter_map Fun.id |> IntSet.of_list
+    in
+    let size = IntSet.cardinal true_set in 
+    if 0 < size && size < value_limit then true_set else gen value_limit
 
   let eval t input = IntSet.mem input t
 
@@ -140,7 +144,7 @@ module Step = struct
         in
         let fuel_a, fuel_b =
           let tmp = Random.int (max (fuel - func_count) 1) in
-          (fuel - tmp, tmp)
+          (tmp/2, tmp/2)
         in
 
         let on_true = gen ~config ~fuel:fuel_a () in
@@ -202,9 +206,9 @@ let run config test_count =
 (* cmd *)
 let _ =
   let test_count = ref 100 in
-  let globals_count = ref 6 in
-  let value_limit = ref 5 in
-  let operations_count = ref 3 in
+  let globals_count = ref 3 in
+  let value_limit = ref 3 in
+  let operations_count = ref 6 in
   let thread_count = ref 3 in
   let generate_conditionals = ref true in
   let print_tests = ref false in