Fix string bug.

build.gradle.kts

@@ -37,7 +37,7 @@ tasks.withType<JavaCompile> {
 tasks.withType<Test> {
     useJUnitPlatform()
     enableAssertions = true
-    jvmArgs("-ea", "-Xmx1G", "-Xss256k")
+    jvmArgs("-ea", "-Xmx1G", "-Xss256k", "-Dfile.encoding=UTF-8")
 }
 tasks.dependencyUpdates {
     fun String.isNonStable() = !(

src/main/kotlin/generators/Type.kt

@@ -510,7 +510,8 @@ class CharGenerator(random: Random) : TypeGenerators<Char>(random) {
 
 class StringGenerator(random: Random) : TypeGenerators<String>(random) {
 
-    override val simple = setOf("t", "gwa", "8 circle", "").values(ZeroComplexity)
+    override val simple =
+        setOf("t", "gwa", "8 circle", "").map { it.toCharArray() }.map { String(it) }.toSet().values(ZeroComplexity)
     override val edge = listOf<String?>(null).values(ZeroComplexity)
     override fun random(complexity: Complexity, runner: TestRunner?) = random(complexity, random).value(complexity)
 

src/test/java/edu/illinois/cs/cs125/jenisol/core/TestJavaExamples.kt

@@ -268,6 +268,9 @@ class TestJavaExamples : StringSpec(
         examples.java.receiver.actuallystatic.Correct::class.java.also {
             "${it.testName()}" { it.test() }
         }
+        examples.java.noreceiver.twostringequality.Correct::class.java.also {
+            "${it.testName()}" { it.test() }
+        }
         examples.java.receiver.timeouttest.Correct::class.java.also {
             "${it.testName()}" {
                 val runnable = object : Runnable {

src/test/java/examples/java/noreceiver/twostringequality/Correct.java

@@ -0,0 +1,9 @@
+package examples.java.noreceiver.twostringequality;
+
+public class Correct {
+  public static boolean equals(String first, String second) {
+    assert first != null;
+    assert second != null;
+    return first.equals(second);
+  }
+}

src/test/java/examples/java/noreceiver/twostringequality/Incorrect0.java

@@ -0,0 +1,10 @@
+package examples.java.noreceiver.twostringequality;
+
+@SuppressWarnings("StringEquality")
+public class Incorrect0 {
+  public static boolean equals(String first, String second) {
+    assert first != null;
+    assert second != null;
+    return first == second;
+  }
+}