Add tests for constant propagation of StringBuffer.append(Object)
This commit is contained in:
parent
5889579c29
commit
906c2f3945
Binary file not shown.
|
@ -0,0 +1,22 @@
|
|||
public class Test
|
||||
{
|
||||
public void testSuccess()
|
||||
{
|
||||
StringBuffer sb = new StringBuffer("abc");
|
||||
Integer i = new Integer(3);
|
||||
sb.append(i);
|
||||
assert sb.toString().equals("abc3");
|
||||
|
||||
sb.append((Object)"xyz");
|
||||
assert sb.toString().equals("abc3xyz");
|
||||
|
||||
sb.append((Object)null);
|
||||
assert sb.toString().equals("abc3xyznull");
|
||||
}
|
||||
|
||||
public void testNoPropagation(Object obj)
|
||||
{
|
||||
StringBuffer sb = new StringBuffer();
|
||||
assert obj.toString().equals("");
|
||||
}
|
||||
}
|
|
@ -0,0 +1,9 @@
|
|||
CORE symex-driven-lazy-loading-expected-failure
|
||||
Test.class
|
||||
--function Test.testNoPropagation --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar` --property 'java::Test.testNoPropagation:(Ljava/lang/Object;)V.assertion.1'
|
||||
^Generated [0-9]+ VCC\(s\), 1 remaining after simplification$
|
||||
^EXIT=10$
|
||||
^SIGNAL=0$
|
||||
^VERIFICATION FAILED$
|
||||
--
|
||||
--
|
|
@ -0,0 +1,9 @@
|
|||
CORE
|
||||
Test.class
|
||||
--function Test.testSuccess --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar`
|
||||
^Generated [0-9]+ VCC\(s\), 0 remaining after simplification$
|
||||
^EXIT=0$
|
||||
^SIGNAL=0$
|
||||
^VERIFICATION SUCCESSFUL$
|
||||
--
|
||||
--
|
Loading…
Reference in New Issue