forked from OSchip/llvm-project
parent
6b8b0dfb90
commit
3f49f0f06d
|
@ -911,7 +911,7 @@ ADVANCED OPTIONS:
|
|||
-constraints [model] - Specify the contraint engine used by the analyzer.
|
||||
By default the 'range' model is used. Specifying
|
||||
'basic' uses a simpler, less powerful constraint model
|
||||
used by checker-0.161 and earlier.
|
||||
used by checker-0.160 and earlier.
|
||||
|
||||
-store [model] - Specify the store model used by the analyzer. By default,
|
||||
the 'basic' store model is used. 'region' specifies a field-
|
||||
|
|
Loading…
Reference in New Issue