Open EgorkaKulikov opened 11 months ago
Run ContestEstimator with the following options:
timeLimit = 30 methodFilter = "com.google.common.base.CaseFormat.*" projectFilter = listOf("guava-26.0")
There are the following compilation errors:
Compilation errors: C:\UtBotJava\UTBotJava\utbot-junit-contest\build\output\test_candidates\guava-26.0\com\google\common\base\CaseFormatTest.java:418: error: incompatible types: Object cannot be converted to CaseFormat CaseFormat sourceFormatMock = mock(anonymousCaseFormatClazz);
or
Compilation errors: C:\UtBotJava\UTBotJava\utbot-junit-contest\build\output\test_candidates\guava-26.0\com\google\common\base\CaseFormatTest.java:63: error: incompatible types: String cannot be converted to Throwable (when((((Throwable) stringMock)).getCause())).thenReturn(((Throwable) null));
timeLimit = 30 methodFilter = "com.google.common.collect.Queues.*" projectFilter = listOf("guava-26.0")
There are the following compilation errors: https://github.com/UnitTestBot/usvm/issues/144
Run ContestEstimator with the following options:
There are the following compilation errors:
or
Run ContestEstimator with the following options:
There are the following compilation errors: https://github.com/UnitTestBot/usvm/issues/144