blob: 4f6f15c1cfac6c3b2ceb474420267f33c8c8d95d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
class FailingTest {
String mayReturnNull(int i) {
if (i > 0) {
return "Hello, Infer!";
}
return null;
}
int mayCauseNPE() {
String s = mayReturnNull(0);
return s.length();
}
}
|