francogp / vyv-2013-tp1 Goto Github PK

What steps will reproduce the problem?

RandoopTest default test failure

TreeList var0 = new TreeList();
boolean var2 = var0.isEmpty();
boolean var3 = var0.isEmpty();
boolean var4 = var0.isEmpty();
int var5 = var0.size();
boolean var6 = var0.isEmpty();
var0.add(0, (java.lang.Object)"{}");
TreeList var11 = new TreeList();
java.lang.String var12 = var11.toString();
var11.add(0, (java.lang.Object)1);
java.lang.String var16 = var11.toString();
var11.removeAll();
boolean var18 = var11.isEmpty();
var0.add(0, (java.lang.Object)var11);
boolean var20 = var0.isEmpty();
var0.remove(1);

What is the expected output? What do you see instead?

Pass the test. NPE

Please use labels and text to provide additional information.

What steps will reproduce the problem?

Randoop with default config:

TreeList var0 = new TreeList();
int var1 = var0.size();
java.lang.String var2 = var0.toString();
var0.add(0, (java.lang.Object)(-1L));
var0.add(1, (java.lang.Object)(short)1);
int var9 = var0.size();
int var10 = var0.size();
TreeList var12 = new TreeList();
var0.add(1, (java.lang.Object)var12);

What is the expected output? What do you see instead?

Pass the test expected. repOK Fail.

What steps will reproduce the problem?

Randoop with default config:

TreeList var0 = new TreeList();
java.lang.String var1 = var0.toString();
boolean var2 = var0.isEmpty();
java.lang.String var3 = var0.toString();
var0.add(0, (java.lang.Object)(byte)1);
boolean var7 = var0.isEmpty();
boolean var8 = var0.isEmpty();
java.lang.String var9 = var0.toString();
var0.remove(0);

What is the expected output? What do you see instead?

Expected to pass the Test. NullpointerException instead.

What steps will reproduce the problem?

Randoop Test failure with default configs: 

TreeList var0 = new TreeList();
int var1 = var0.size();
java.lang.String var2 = var0.toString();
var0.add(0, (-1L));

and throw NullPointerException in add

What is the expected output? What do you see instead?

pass the test

What steps will reproduce the problem?

Randoop with default configs:

TreeList var0 = new TreeList();
var0.removeAll();
var0.removeAll();
boolean var3 = var0.isEmpty();
var0.add(0, (java.lang.Object)(byte)1);
int var7 = var0.size();
boolean var8 = var0.isEmpty();
int var9 = var0.size();
boolean var10 = var0.isEmpty();
var0.remove(0);

What is the expected output? What do you see instead?

Pass the test. reoOK fail.

What steps will reproduce the problem?

Randoop default test 5 minutes:

TreeList var0 = new TreeList();
java.lang.String var1 = var0.toString();
java.lang.String var2 = var0.toString();
boolean var3 = var0.isEmpty();
TreeList var5 = new TreeList();
java.lang.String var6 = var5.toString();
boolean var7 = var5.isEmpty();
int var8 = var5.size();
var5.removeAll();
var0.add(0, (java.lang.Object)var5);
int var11 = var0.size();
java.lang.String var12 = var0.toString();
boolean var13 = var0.isEmpty();
boolean var14 = var0.isEmpty();
TreeList var16 = new TreeList();
java.lang.String var17 = var16.toString();
int var18 = var16.size();
var16.removeAll();
var0.add(0, (java.lang.Object)var16);
TreeList var22 = new TreeList();
java.lang.String var23 = var22.toString();
var22.removeAll();
java.lang.String var25 = var22.toString();
var22.removeAll();
TreeList var28 = new TreeList();
java.lang.String var29 = var28.toString();
boolean var30 = var28.isEmpty();
int var31 = var28.size();
java.lang.String var32 = var28.toString();
var22.add(0, (java.lang.Object)var32);
boolean var34 = var22.isEmpty();
var22.remove(0);
var0.add(0, (java.lang.Object)0);
TreeList var39 = new TreeList();
java.lang.String var40 = var39.toString();
var39.removeAll();
java.lang.String var42 = var39.toString();
var39.removeAll();
TreeList var45 = new TreeList();
java.lang.String var46 = var45.toString();
boolean var47 = var45.isEmpty();
int var48 = var45.size();
java.lang.String var49 = var45.toString();
var39.add(0, (java.lang.Object)var49);
var39.remove(0);
TreeList var54 = new TreeList();
var54.removeAll();
var54.removeAll();
boolean var57 = var54.isEmpty();
java.lang.String var58 = var54.toString();
int var59 = var54.size();
var39.add(0, (java.lang.Object)var54);
boolean var61 = var54.isEmpty();
TreeList var63 = new TreeList();
var63.removeAll();
var63.removeAll();
boolean var66 = var63.isEmpty();
var54.add(0, (java.lang.Object)var63);
var54.remove(0);
var54.removeAll();
TreeList var72 = new TreeList();
int var73 = var72.size();
int var74 = var72.size();
java.lang.String var75 = var72.toString();
var54.add(0, (java.lang.Object)var72);
java.lang.String var77 = var72.toString();
boolean var78 = var72.isEmpty();
var72.removeAll();
var0.add(1, (java.lang.Object)var72);
int var81 = var0.size();
var0.remove(3);

What is the expected output? What do you see instead?

Randoop Object check failure. Pass test expected.

What steps will reproduce the problem?

Randoop Test failure

        ar.verificacion.validacion.treelistimplementation.TreeList var0 = new ar.verificacion.validacion.treelistimplementation.TreeList();
        int var1 = var0.size();
        boolean var2 = var0.isEmpty();
        boolean var3 = var0.isEmpty();
        boolean var4 = var0.isEmpty();
        int var5 = var0.size();
        boolean var6 = var0.isEmpty();
        var0.add(0, "{}");
        ar.verificacion.validacion.treelistimplementation.TreeList var11 = new ar.verificacion.validacion.treelistimplementation.TreeList();
        java.lang.String var12 = var11.toString();
        var11.add(0, 1);
        java.lang.String var16 = var11.toString();
        var11.removeAll();
        boolean var18 = var11.isEmpty();
        var0.add(0, var11);
        boolean var20 = var0.isEmpty();
        var0.remove(1);

What is the expected output? What do you see instead?

Test Failure

Please use labels and text to provide additional information.

What steps will reproduce the problem?

Randoop test with config:
* 5 minutes limit
* excluding toString and finTreeList methods

Results:
ar.verificacion.validacion.treelistimplementation.TreeList var0 = new 
ar.verificacion.validacion.treelistimplementation.TreeList();
        int var1 = var0.size();
        ar.verificacion.validacion.treelistimplementation.TreeList var3 = new ar.verificacion.validacion.treelistimplementation.TreeList();
        int var4 = var3.size();
        boolean var5 = var3.isEmpty();
        var0.add(0, var3);
        var3.add(0, (-1.0d));
        boolean var10 = var3.isEmpty();
        ar.verificacion.validacion.treelistimplementation.TreeList var12 = new ar.verificacion.validacion.treelistimplementation.TreeList();
        var12.removeAll();
        boolean var14 = var12.isEmpty();
        ar.verificacion.validacion.treelistimplementation.TreeList var16 = new ar.verificacion.validacion.treelistimplementation.TreeList();
        int var17 = var16.size();
        var16.removeAll();
        var16.removeAll();
        var12.add(0, var16);
        var16.removeAll();
        var3.add(0, var16);
        java.lang.Object var24 = var3.get(0);
        ar.verificacion.validacion.treelistimplementation.TreeList var26 = new ar.verificacion.validacion.treelistimplementation.TreeList();
        int var27 = var26.size();
        var26.removeAll();
        int var29 = var26.size();
        var26.removeAll();
        var3.add(2, var26);
        int var32 = var3.size();
        var3.remove(0);
        boolean var35 = var3.isEmpty();
        ar.verificacion.validacion.treelistimplementation.TreeList var37 = new ar.verificacion.validacion.treelistimplementation.TreeList();
        int var38 = var37.size();
        var37.add(0, 100L);
        int var42 = var37.size();
        int var43 = var37.size();
        java.lang.Object var45 = var37.get(0);
        var37.remove(0);
        var37.removeAll();
        boolean var49 = var37.isEmpty();
        var3.add(1, var49);
        boolean var51 = var3.isEmpty();
        ar.verificacion.validacion.treelistimplementation.TreeList var53 = new ar.verificacion.validacion.treelistimplementation.TreeList();
        int var54 = var53.size();
        ar.verificacion.validacion.treelistimplementation.TreeList var56 = new ar.verificacion.validacion.treelistimplementation.TreeList();
        int var57 = var56.size();
        boolean var58 = var56.isEmpty();
        var53.add(0, var56);
        var56.add(0, (-1.0d));
        var56.removeAll();
        boolean var64 = var56.isEmpty();
        int var65 = var56.size();
        boolean var66 = var56.isEmpty();
        ar.verificacion.validacion.treelistimplementation.TreeList var68 = new ar.verificacion.validacion.treelistimplementation.TreeList();
        var68.removeAll();
        boolean var70 = var68.isEmpty();
        ar.verificacion.validacion.treelistimplementation.TreeList var72 = new ar.verificacion.validacion.treelistimplementation.TreeList();
        int var73 = var72.size();
        var72.removeAll();
        var72.removeAll();
        var68.add(0, var72);
        var56.add(0, var72);
        var72.removeAll();
        int var79 = var72.size();
        var3.add(1, var79);
        var3.remove(2);

What is the expected output? What do you see instead?

Pass the test. NPE instead.