Test suite
Test case 1
1: ReadFormatException readFormatException0 = new ReadFormatException("uk.ac.sanger.artemis.io.ReadFormatException", (-964));
2: int int0 = readFormatException0.getLineNumber();
3: assertEquals((-964), int0);
Test case 2
1: ReadFormatException readFormatException0 = new ReadFormatException("om");
2: int int0 = readFormatException0.getLineNumber();
3: assertEquals(0, int0);
Test case 3
1: ReadFormatException readFormatException0 = new ReadFormatException("", 1);
2: int int0 = readFormatException0.getLineNumber();
3: assertEquals(1, int0);
Source Code
1: No source found for uk.ac.sanger.artemis.io.ReadFormatException
EvoSuite Parameters
- TARGET_CLASS: uk.ac.sanger.artemis.io.ReadFormatException
- Size: 3
- Length: 6
- criterion: LINE;BRANCH;EXCEPTION;WEAKMUTATION;OUTPUT;METHOD;METHODNOEXCEPTION;CBRANCH
- Coverage: 0.9722222222222222
- BranchCoverage: 1.0
- MethodCoverage: 1.0
- OutputCoverage: 1.0
Back to Overview