fmt

Author: bartoszmodelski

tests/gen_program.ml

@@ -180,8 +180,7 @@ let run_random config () =
   let thread_f = Step.gen ~config ~fuel:config.operations_count in
   let threads = List.init config.thread_count (fun _ -> thread_f ()) in
   let program = ({ globals; threads } : Program.t) in
-  if config.print_tests then 
-    Program.print program;
+  if config.print_tests then Program.print program;
 
   let random = Program.run ~impl:(`Random 100) program in
   let dpor = Program.run ~impl:`Dpor program in
@@ -214,7 +213,7 @@ let _ =
       ( "-test-count",
         Arg.Set_int test_count,
         "number of programs to generate and test" );
-        ("-print-tests", Arg.Set print_tests, "print all tests");
+      ("-print-tests", Arg.Set print_tests, "print all tests");
       ( "-global-vars-count",
         Arg.Set_int globals_count,
         "number of shared atomic variables (the more, the higher the reduction)"
@@ -243,7 +242,7 @@ let _ =
        operations_count = !operations_count;
        thread_count = !thread_count;
        generate_conditionals = !generate_conditionals;
-       print_tests = !print_tests
+       print_tests = !print_tests;
      }
       : config)
   in