|
1 | | -org.utbot.examples.primitives.IntExamples |
2 | | -org.utbot.examples.primitives.ByteExamples |
3 | | -org.utbot.examples.primitives.CharExamples |
4 | | -org.utbot.examples.primitives.FloatExamples |
5 | | -org.utbot.examples.primitives.DoubleExamples |
6 | | -org.utbot.examples.controlflow.Conditions |
7 | | -org.utbot.examples.controlflow.CycleDependedCondition |
8 | | -org.utbot.examples.controlflow.Cycles |
9 | | -org.utbot.examples.controlflow.Switch |
10 | | -org.utbot.examples.recursion.Recursion |
11 | | -org.utbot.examples.math.BitOperators |
12 | | -org.utbot.examples.math.DivRemExamples |
13 | | -org.utbot.examples.math.DoubleFunctions |
14 | | -org.utbot.examples.wrappers.ShortWrapper |
15 | | -org.utbot.examples.wrappers.LongWrapper |
16 | | -org.utbot.examples.wrappers.IntegerWrapper |
17 | | -org.utbot.examples.wrappers.FloatWrapper |
18 | | -org.utbot.examples.wrappers.DoubleWrapper |
19 | | -org.utbot.examples.wrappers.CharacterWrapper |
20 | | -org.utbot.examples.wrappers.ByteWrapper |
21 | | -org.utbot.examples.wrappers.BooleanWrapper |
22 | | -org.utbot.examples.arrays.PrimitiveArrays |
23 | | - |
| 1 | +org.usvm.samples.primitives.IntExamples |
| 2 | +org.usvm.samples.primitives.ByteExamples |
| 3 | +org.usvm.samples.primitives.CharExamples |
| 4 | +org.usvm.samples.primitives.FloatExamples |
| 5 | +org.usvm.samples.primitives.DoubleExamples |
| 6 | +org.usvm.samples.controlflow.Conditions |
| 7 | +org.usvm.samples.controlflow.CycleDependedCondition |
| 8 | +org.usvm.samples.controlflow.Cycles |
| 9 | +org.usvm.samples.controlflow.Switch |
| 10 | +org.usvm.samples.recursion.Recursion |
| 11 | +org.usvm.samples.math.BitOperators |
| 12 | +org.usvm.samples.math.DivRemExamples |
| 13 | +org.usvm.samples.math.DoubleFunctions |
| 14 | +org.usvm.samples.wrappers.ShortWrapper |
| 15 | +org.usvm.samples.wrappers.LongWrapper |
| 16 | +org.usvm.samples.wrappers.IntegerWrapper |
| 17 | +org.usvm.samples.wrappers.FloatWrapper |
| 18 | +org.usvm.samples.wrappers.DoubleWrapper |
| 19 | +org.usvm.samples.wrappers.CharacterWrapper |
| 20 | +org.usvm.samples.wrappers.ByteWrapper |
| 21 | +org.usvm.samples.wrappers.BooleanWrapper |
| 22 | +org.usvm.samples.arrays.PrimitiveArrays |
| 23 | +org.usvm.samples.arrays.IntArrayBasics |
24 | 24 |
|
0 commit comments