Summary

Test suite

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