From ed4101c9d9d187ea9039272c8744620c168d20b5 Mon Sep 17 00:00:00 2001 From: Gabriel Konat Date: Wed, 12 Jul 2023 14:46:05 +0200 Subject: [PATCH] Improve documentation. --- docs/reference/configuration.md | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/docs/reference/configuration.md b/docs/reference/configuration.md index 7ced8d656..dd2d8eb5a 100644 --- a/docs/reference/configuration.md +++ b/docs/reference/configuration.md @@ -321,7 +321,13 @@ The following `ConstraintAnalyzerOption`s are supported: | `default-statix-message-term-depth = $Expression` | no | The default Statix message term depth to use. Default is implementation-defined. Does nothing if Statix is not enabled. | Unsigned integer | | `default-statix-test-log-level = $Expression` | no | The default Statix test log level to use. Default is implementation-defined. Does nothing if Statix is not enabled. | String | | `default-statix-supress-cascading-errors = $Expression` | no | Whether to suppress cascading errors by default. Default is implementation-defined. Does nothing if Statix is not enabled. | Boolean | -| `statix-solver-mode = $Expression` | no | Statix Solver Mode. Default is `traditional`. Does nothing if Statix is not enabled. | Enum ({`traditional`, `concurrent`, `incremental`}) ` | +| `statix-solver-mode = $StatixSolverMode` | no | Statix solver mode. Defaults to `traditional`. Does nothing if Statix is not enabled. | n/a | + +The following `StatixSolverMode`s are supported: + +* `traditional` +* `concurrent` +* `incremental` ### Multi-language analyzer