[infer] Fix documentation for test-determinator flag.

Reviewed By: dulmarod

Differential Revision: D17482479

fbshipit-source-id: c37c9044d

infer/man/man1/infer-full.txt

@@ -1322,7 +1322,7 @@ INTERNAL OPTIONS
            nodes nearest the exit node are analyzed first
 
        --export-changed-functions
-           Activates: Make infer outout changed functions, similar to
+           Activates: Make infer output changed functions, similar to
            test-determinator. It is used together with the --modified-lines.
            (Conversely: --no-export-changed-functions)
 
@@ -1716,8 +1716,8 @@ INTERNAL OPTIONS
 
        --test-determinator
            Activates: Run infer in Test Determinator mode. It is used
-           together with the --modified-lines and --test-profiler flags,
-           which speficy the relevant arguments. (Conversely:
+           together with the --modified-lines and --profiler-samples flags,
+           which specify the relevant arguments. (Conversely:
            --no-test-determinator)
 
        --test-determinator-output path

infer/src/base/Config.ml

@@ -2303,7 +2303,7 @@ and symops_per_iteration =
 and test_determinator =
   CLOpt.mk_bool ~long:"test-determinator" ~default:false
     "Run infer in Test Determinator mode. It is used together with the $(b,--modified-lines) and \
-     $(b,--test-profiler) flags, which speficy the relevant arguments."
+     $(b,--profiler-samples) flags, which specify the relevant arguments."
 
 
 and test_determinator_output =
@@ -2314,7 +2314,7 @@ and test_determinator_output =
 and export_changed_functions =
   CLOpt.mk_bool ~deprecated:["test-determinator-clang"] ~long:"export-changed-functions"
     ~default:false
-    "Make infer outout changed functions, similar to test-determinator. It is used together with \
+    "Make infer output changed functions, similar to test-determinator. It is used together with \
      the $(b,--modified-lines)."