SETTE-Testing / sette-snippets

Code snippets for evaluating test input generator tools with SETTE
Apache License 2.0
3 stars 1 forks source link

Required coverage of L2_addWithCondition #8

Closed micskeiz closed 8 years ago

micskeiz commented 8 years ago

These are the tests generated by EvoSuite (run-01-30sec):

(String) null, (String) null
(String) null, ""
 "", (String) null
("", "ab")
\QuPH?gm,!6Uo<q?E+", "tcs<@u+>}~-o (O)Q"

These do not cover the following branch:

else if ((a + b).equals("ab") && a.equals("a")) {
    return 2;

Which is correctly detected by the evaluation in the coverage report.

Is the snippet's required coverage wrong?

LajosCseppento commented 8 years ago

Fixed 6ff0f2d