[infer] set the default value for --ignore-trivial-traces to be false

Reviewed By: mbouaziz

Differential Revision: D13831335

fbshipit-source-id: 58a5ef188

infer/man/man1/infer-full.txt

@@ -1165,9 +1165,9 @@ INTERNAL OPTIONS
        --icfg-dotty-outfile-reset
            Cancel the effect of --icfg-dotty-outfile.
 
-       --no-ignore-trivial-traces
+       --ignore-trivial-traces
-           Deactivates: Ignore traces whose length is at most 1 (Conversely:
+           Activates: Ignore traces whose length is at most 1 (Conversely:
-           --ignore-trivial-traces)
+           --no-ignore-trivial-traces)
 
        --invariant-by-default
            Activates: [Cost]Consider functions to be invariant by default

infer/src/base/Config.ml

@@ -1406,7 +1406,7 @@ and icfg_dotty_outfile =
 
 
 and ignore_trivial_traces =
-  CLOpt.mk_bool ~long:"ignore-trivial-traces" ~default:true
+  CLOpt.mk_bool ~long:"ignore-trivial-traces" ~default:false
     "Ignore traces whose length is at most 1"