Test case 1
1: char[] charArray0 = new char[4];
2: CharArrayReader charArrayReader0 = new CharArrayReader(charArray0, 2, 2);
3: LinePushBackReader linePushBackReader0 = new LinePushBackReader(charArrayReader0);
4: int int0 = linePushBackReader0.read(charArray0, 2, 2);
5: assertEquals(2, int0);
Test case 2
1: char[] charArray0 = new char[0];
2: CharArrayReader charArrayReader0 = new CharArrayReader(charArray0, 0, 0);
3: LinePushBackReader linePushBackReader0 = new LinePushBackReader(charArrayReader0);
4: linePushBackReader0.close();
5: linePushBackReader0.read(charArray0, 10, 0);
Test case 3
1: char[] charArray0 = new char[6];
2: CharArrayReader charArrayReader0 = new CharArrayReader(charArray0);
3: LinePushBackReader linePushBackReader0 = new LinePushBackReader(charArrayReader0);
4: int int0 = linePushBackReader0.getLineNumber();
5: assertEquals(0, int0);
Test case 4
1: char[] charArray0 = new char[6];
2: CharArrayReader charArrayReader0 = new CharArrayReader(charArray0);
3: LinePushBackReader linePushBackReader0 = new LinePushBackReader(charArrayReader0);
4: linePushBackReader0.readLine();
5: int int0 = linePushBackReader0.getLineNumber();
6: assertEquals(1, int0);
Test case 5
1: char[] charArray0 = new char[0];
2: CharArrayReader charArrayReader0 = new CharArrayReader(charArray0, 0, 0);
3: LinePushBackReader linePushBackReader0 = new LinePushBackReader(charArrayReader0);
4: linePushBackReader0.pushBack("");
5: String string0 = linePushBackReader0.readLine();
6: assertEquals("", string0);
Test case 6
1: PipedReader pipedReader0 = new PipedReader();
2: LinePushBackReader linePushBackReader0 = new LinePushBackReader(pipedReader0);
3: linePushBackReader0.pushBack("c''CU[HJq?z&");
4: linePushBackReader0.pushBack("c''CU[HJq?z&");
Test case 7
1: LinePushBackReader linePushBackReader0 = new LinePushBackReader((Reader) null);
Test case 8
1: char[] charArray0 = new char[6];
2: CharArrayReader charArrayReader0 = new CharArrayReader(charArray0, 0, 0);
3: LinePushBackReader linePushBackReader0 = new LinePushBackReader(charArrayReader0);
4: linePushBackReader0.read(charArray0, (-439), 0);
Test case 9
1: PipedReader pipedReader0 = new PipedReader();
2: LinePushBackReader linePushBackReader0 = new LinePushBackReader(pipedReader0);
3: linePushBackReader0.read((char[]) null, 3224, 3224);
Test case 10
1: PipedReader pipedReader0 = new PipedReader();
2: LinePushBackReader linePushBackReader0 = new LinePushBackReader(pipedReader0);
3: linePushBackReader0.readLine();
Test case 11
1: PipedReader pipedReader0 = new PipedReader();
2: LinePushBackReader linePushBackReader0 = new LinePushBackReader(pipedReader0);
3: char[] charArray0 = new char[2];
4: int int0 = linePushBackReader0.read(charArray0, 0, 0);
5: assertEquals(0, int0);
Test case 12
1: char[] charArray0 = new char[6];
2: CharArrayReader charArrayReader0 = new CharArrayReader(charArray0);
3: LinePushBackReader linePushBackReader0 = new LinePushBackReader(charArrayReader0);
4: linePushBackReader0.readLine();
5: linePushBackReader0.readLine();
6: assertEquals(1, linePushBackReader0.getLineNumber());
Source Code
1: No source found for uk.ac.sanger.artemis.util.LinePushBackReader
EvoSuite Parameters
- TARGET_CLASS: uk.ac.sanger.artemis.util.LinePushBackReader
- Size: 12
- Length: 47
- criterion: LINE;BRANCH;EXCEPTION;WEAKMUTATION;OUTPUT;METHOD;METHODNOEXCEPTION;CBRANCH
- Coverage: 0.9722222222222222
- BranchCoverage: 1.0
- MethodCoverage: 1.0
- OutputCoverage: 0.7777777777777778
Back to Overview