shoaib1/issue#439

i have added the test - public void testEqualsWithNonStringObject() - to verify my updated code
javapathfinder · Jun 25, 2024 · 36333b3 · 36333b3
1 parent c827afe
commit 36333b3
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/src/tests/gov/nasa/jpf/test/java/lang/StringTest.java b/src/tests/gov/nasa/jpf/test/java/lang/StringTest.java
@@ -74,6 +74,14 @@ public void testEquals() {
 			assert !a.equals(c);
 		}
 	}
+
+	@Test
+	public void testEqualsWithNonStringObject() {
+    	if (verifyNoPropertyViolation()) {
+       		String a = "one two";
+        	assert !a.equals(new Object());
+    	}
+	}
 
 	@Test
 	public void testIndexOf() {