diff --git a/infer/man/man1/infer-full.txt b/infer/man/man1/infer-full.txt index fcb0fdf80..57e71f7ca 100644 --- a/infer/man/man1/infer-full.txt +++ b/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 diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index c43b2786f..44674627d 100644 --- a/infer/src/base/Config.ml +++ b/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)."