mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
apply correction by ddcc #1069
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
0700413f27
commit
f5b54f042c
|
@ -5839,7 +5839,7 @@ extern "C" {
|
|||
|
||||
Unlike `Z3_mk_solver()` this solver
|
||||
- Does not attempt to apply any logic specific tactics.
|
||||
- Does not changes its behaviour based on whether it used
|
||||
- Does not change its behaviour based on whether it used
|
||||
incrementally/non-incrementally.
|
||||
|
||||
Note that these differences can result in very different performance
|
||||
|
|
Loading…
Reference in a new issue