Fix python small bugs (#2029)

tamarinvs19 · web-flow · commit 72c4066fe163 · 2023-03-23T23:50:53.000+03:00
diff --git a/utbot-python/src/main/kotlin/org/utbot/python/fuzzing/provider/TupleFixSizeValueProvider.kt b/utbot-python/src/main/kotlin/org/utbot/python/fuzzing/provider/TupleFixSizeValueProvider.kt
@@ -33,10 +33,7 @@ object TupleFixSizeValueProvider : ValueProvider<Type, PythonFuzzedValue, Python
                 )
             },
             modify = modifications.asSequence(),
-            empty = Routine.Empty { PythonFuzzedValue(
-                PythonTree.TupleNode(emptyMap<Int, PythonTree.PythonTreeNode>().toMutableMap()),
-                "%var% = ${type.pythonTypeRepresentation()}"
-            )}
+            empty =  Routine.Empty { PythonFuzzedValue(PythonTree.FakeNode) }
         ))
     }
 }
diff --git a/utbot-python/src/main/kotlin/org/utbot/python/fuzzing/provider/utils/SummaryGeneration.kt b/utbot-python/src/main/kotlin/org/utbot/python/fuzzing/provider/utils/SummaryGeneration.kt
@@ -1,7 +1,6 @@
 package org.utbot.python.fuzzing.provider.utils
 
 import org.utbot.fuzzing.seeds.BitVectorValue
-import org.utbot.fuzzing.seeds.Bool
 import org.utbot.fuzzing.seeds.DefaultFloatBound
 import org.utbot.fuzzing.seeds.IEEE754Value
 import org.utbot.fuzzing.seeds.KnownValue
@@ -34,6 +33,10 @@ fun <T : KnownValue> T.valueToString(): String {
             }
         }
         is StringValue -> {
+            if (value.contains("\"\"\"")) {
+                val newValue = value.replace("\"", "\\\"")
+                return "'$newValue'"
+            }
             return "'$value'"
         }
         else -> return toString()

Original file line number	Diff line number	Diff line change
`@@ -33,10 +33,7 @@ object TupleFixSizeValueProvider : ValueProvider<Type, PythonFuzzedValue, Python`
`33`	`33`	`)`
`34`	`34`	`},`
`35`	`35`	`modify = modifications.asSequence(),`
`36`		`- empty = Routine.Empty { PythonFuzzedValue(`
`37`		`- PythonTree.TupleNode(emptyMap<Int, PythonTree.PythonTreeNode>().toMutableMap()),`
`38`		`- "%var% = ${type.pythonTypeRepresentation()}"`
`39`		`- )}`
	`36`	`+ empty = Routine.Empty { PythonFuzzedValue(PythonTree.FakeNode) }`
`40`	`37`	`))`
`41`	`38`	`}`
`42`	`39`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,6 @@`
`1`	`1`	`package org.utbot.python.fuzzing.provider.utils`
`2`	`2`
`3`	`3`	`import org.utbot.fuzzing.seeds.BitVectorValue`
`4`		`-import org.utbot.fuzzing.seeds.Bool`
`5`	`4`	`import org.utbot.fuzzing.seeds.DefaultFloatBound`
`6`	`5`	`import org.utbot.fuzzing.seeds.IEEE754Value`
`7`	`6`	`import org.utbot.fuzzing.seeds.KnownValue`
`@@ -34,6 +33,10 @@ fun <T : KnownValue> T.valueToString(): String {`
`34`	`33`	`}`
`35`	`34`	`}`
`36`	`35`	`is StringValue -> {`
	`36`	`+ if (value.contains("\"\"\"")) {`
	`37`	`+ val newValue = value.replace("\"", "\\\"")`
	`38`	`+ return "'$newValue'"`
	`39`	`+ }`
`37`	`40`	`return "'$value'"`
`38`	`41`	`}`
`39`	`42`	`else -> return toString()`