Skip to content

Commit 4a46744

Browse files
dtimdtim
committed
Code review fixes
 * Finally removed asterisk package import * Formatting fix in the design doc
1 parent 9d2d480 commit 4a46744

File tree

2 files changed

+51
-2
lines changed

2 files changed

+51
-2
lines changed

‎docs/SpeculativeFieldNonNullability.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ the hard constraint `addr(field) == null`.
99

1010
If the field is marked as `@NotNull`, a hard constraint `addr(field) != null` is generated
1111
for it. If both constraints have been generated simultaneously, the `NPE` branch is discarded
12-
as the constraint set is unsatisfiable.
12+
as the constraint set is unsatisfiable.
1313

1414
If a field does not have `@NotNull` annotation, the `NPE` branch will be kept. This behavior
1515
is desirable, as it increases the coverage, but it has a downside. It is possible that

‎utbot-framework/src/main/kotlin/org/utbot/engine/UtBotSymbolicEngine.kt‎

Lines changed: 50 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,56 @@ import org.utbot.engine.MockStrategy.NO_MOCKS
3434
import org.utbot.engine.overrides.UtArrayMock
3535
import org.utbot.engine.overrides.UtLogicMock
3636
import org.utbot.engine.overrides.UtOverrideMock
37-
import org.utbot.engine.pc.*
37+
import org.utbot.engine.pc.NotBoolExpression
38+
import org.utbot.engine.pc.UtAddNoOverflowExpression
39+
import org.utbot.engine.pc.UtAddrExpression
40+
import org.utbot.engine.pc.UtAndBoolExpression
41+
import org.utbot.engine.pc.UtArrayApplyForAll
42+
import org.utbot.engine.pc.UtArrayExpressionBase
43+
import org.utbot.engine.pc.UtArraySelectExpression
44+
import org.utbot.engine.pc.UtArraySetRange
45+
import org.utbot.engine.pc.UtArraySort
46+
import org.utbot.engine.pc.UtBoolExpression
47+
import org.utbot.engine.pc.UtBoolOpExpression
48+
import org.utbot.engine.pc.UtBvConst
49+
import org.utbot.engine.pc.UtBvLiteral
50+
import org.utbot.engine.pc.UtByteSort
51+
import org.utbot.engine.pc.UtCastExpression
52+
import org.utbot.engine.pc.UtCharSort
53+
import org.utbot.engine.pc.UtContextInitializer
54+
import org.utbot.engine.pc.UtExpression
55+
import org.utbot.engine.pc.UtFalse
56+
import org.utbot.engine.pc.UtInstanceOfExpression
57+
import org.utbot.engine.pc.UtIntSort
58+
import org.utbot.engine.pc.UtIsExpression
59+
import org.utbot.engine.pc.UtIteExpression
60+
import org.utbot.engine.pc.UtLongSort
61+
import org.utbot.engine.pc.UtMkTermArrayExpression
62+
import org.utbot.engine.pc.UtNegExpression
63+
import org.utbot.engine.pc.UtOrBoolExpression
64+
import org.utbot.engine.pc.UtPrimitiveSort
65+
import org.utbot.engine.pc.UtShortSort
66+
import org.utbot.engine.pc.UtSolver
67+
import org.utbot.engine.pc.UtSolverStatusSAT
68+
import org.utbot.engine.pc.UtSubNoOverflowExpression
69+
import org.utbot.engine.pc.UtTrue
70+
import org.utbot.engine.pc.addrEq
71+
import org.utbot.engine.pc.align
72+
import org.utbot.engine.pc.cast
73+
import org.utbot.engine.pc.findTheMostNestedAddr
74+
import org.utbot.engine.pc.isInteger
75+
import org.utbot.engine.pc.mkAnd
76+
import org.utbot.engine.pc.mkBVConst
77+
import org.utbot.engine.pc.mkBoolConst
78+
import org.utbot.engine.pc.mkChar
79+
import org.utbot.engine.pc.mkEq
80+
import org.utbot.engine.pc.mkFalse
81+
import org.utbot.engine.pc.mkFpConst
82+
import org.utbot.engine.pc.mkInt
83+
import org.utbot.engine.pc.mkNot
84+
import org.utbot.engine.pc.mkOr
85+
import org.utbot.engine.pc.select
86+
import org.utbot.engine.pc.store
3887
import org.utbot.engine.selectors.PathSelector
3988
import org.utbot.engine.selectors.StrategyOption
4089
import org.utbot.engine.selectors.coveredNewSelector

0 commit comments

Comments
 (0)