Create mocks in output values. **CANNOT BE MERGED INTO MAIN**

[CaelmBleidd]

No description provided.

[IlyaMuravjov]

Running on org.usvm.samples.mock.MockRandomExamples.randomAsParameter after updating JcTestExecutor in UtBot I get the following tests (we can't use USVM's JcTestExecutor, because it's in test source root and also it doesn't return UTest and UTestExecutionResult).

/** * @utbot.classUnderTest {@link org.usvm.samples.mock.MockRandomExamples} * @utbot.methodUnderTest {@link org.usvm.samples.mock.MockRandomExamples#randomAsParameter(java.util.Random,int)} */@Test(expected = NullPointerException.class)
publicvoidtestRandomAsParameterThrowsNPEWithCornerCase() throwsException {
MockRandomExamplesmockRandomExamples = ((MockRandomExamples) createInstance("org.usvm.samples.mock.MockRandomExamples"));
mockRandomExamples.randomAsParameter(null, 0);
}
/** * @utbot.classUnderTest {@link org.usvm.samples.mock.MockRandomExamples} * @utbot.methodUnderTest {@link org.usvm.samples.mock.MockRandomExamples#randomAsParameter(java.util.Random,int)} */@Test(expected = NullPointerException.class)
publicvoidtestRandomAsParameterThrowsNPEWithCornerCase1() throwsException {
MockRandomExamplesmockRandomExamples = ((MockRandomExamples) createInstance("org.usvm.samples.mock.MockRandomExamples"));
RandomrandomMock = mock(Random.class);
setField(randomMock, "java.util.Random", "nextNextGaussian", 0.0);
mockRandomExamples.randomAsParameter(randomMock, 0);
}

The following JcState:

And the following UTest with no mocked methods:

[Saloed]

@IlyaMuravjov should be fixed now

[IlyaMuravjov]

@Saloed I am still getting same results on ilya_m/contest/mocks branch (update usvmVersion locally)

[Saloed]

Fixed

[IlyaMuravjov]

Now, two correct tests are generated for org.usvm.samples.mock.MockRandomExamples.randomAsParameter, although there's still unnecessary set field for nextNextGaussian.

/** * @utbot.classUnderTest {@link org.usvm.samples.mock.MockRandomExamples} * @utbot.methodUnderTest {@link org.usvm.samples.mock.MockRandomExamples#randomAsParameter(java.util.Random,int)} */@TestpublicvoidtestRandomAsParameterReturnsZeroWithCornerCase() throwsException {
MockRandomExamplesmockRandomExamples = ((MockRandomExamples) createInstance("org.usvm.samples.mock.MockRandomExamples"));
RandomrandomMock = mock(Random.class);
(when(randomMock.nextInt())).thenReturn(0);
setField(randomMock, "java.util.Random", "nextNextGaussian", 0.0);
intactual = mockRandomExamples.randomAsParameter(randomMock, 0);
assertEquals(0, actual);
}
/** * @utbot.classUnderTest {@link org.usvm.samples.mock.MockRandomExamples} * @utbot.methodUnderTest {@link org.usvm.samples.mock.MockRandomExamples#randomAsParameter(java.util.Random,int)} */@TestpublicvoidtestRandomAsParameterReturnsOneWithCornerCase() throwsException {
MockRandomExamplesmockRandomExamples = ((MockRandomExamples) createInstance("org.usvm.samples.mock.MockRandomExamples"));
RandomrandomMock = mock(Random.class);
(when(randomMock.nextInt())).thenReturn(1);
setField(randomMock, "java.util.Random", "nextNextGaussian", 0.0);
intactual = mockRandomExamples.randomAsParameter(randomMock, 0);
assertEquals(1, actual);
}