Test case:
@Test
public void testShowNullParameters() {
Arbitrary.arbInteger.gen))), (Integer i) -> {
Property p = property(arbitrary(Gen.<Integer>value(null)), (Integer i) -> {
return prop(i != null);
});
CheckResult.summary.println(p.check());
}
Exception stack:
java.lang.NullPointerException
at fj.Show$3.f(Show.java:183)
at fj.Show$3.f(Show.java:180)
at fj.Show.show(Show.java:63)
at fj.Show.showS(Show.java:83)
at fj.test.Arg$1.f(Arg.java:57)
at fj.test.Arg$1.f(Arg.java:55)
at fj.Show$2.f(Show.java:169)
at fj.Show$2.f(Show.java:167)
at fj.Show.show(Show.java:63)
at fj.Show.showS(Show.java:83)
at fj.test.CheckResult$1.arguments(CheckResult.java:236)
at fj.test.CheckResult$1.f(CheckResult.java:247)
at fj.test.CheckResult$1.f(CheckResult.java:229)
at fj.Show$2.f(Show.java:169)
at fj.Show$2.f(Show.java:167)
at fj.Show.show(Show.java:63)
at fj.Show.print(Show.java:129)
at fj.Show.println(Show.java:115)
at fj.data.test.TestNull.testShowNullParameters(TestNull.java:38)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:47)
at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:12)
at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:44)
at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:17)
at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:271)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:70)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:50)
at org.junit.runners.ParentRunner$3.run(ParentRunner.java:238)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:63)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:236)
at org.junit.runners.ParentRunner.access$000(ParentRunner.java:53)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:229)
at org.junit.runners.ParentRunner.run(ParentRunner.java:309)
at org.junit.runner.JUnitCore.run(JUnitCore.java:160)
at com.intellij.junit4.JUnit4IdeaTestRunner.startRunnerWithArgs(JUnit4IdeaTestRunner.java:74)
at com.intellij.rt.execution.junit.JUnitStarter.prepareStreamsAndStart(JUnitStarter.java:211)
at com.intellij.rt.execution.junit.JUnitStarter.main(JUnitStarter.java:67)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at com.intellij.rt.execution.application.AppMain.main(AppMain.java:134)
Test case:
Exception stack: