René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Empty test classes for Booleans and Shorts are generated by Contest Estimator","articleBody":"**Description**\r\n\r\nEmpty test classes for Booleans and Shorts are generated by Contest Estimator\r\n\r\n**To Reproduce**\r\n\r\n1. Run the 'utbot' project in IntelliJ Idea 2022.2.4\r\n2. Open `utbot-junit-contest/src/main/kotlin/org/utbot/contest/ContestEstimator.kt`\r\n3. Change `javaHome` property to full local path to JDK 8\r\n4. Change `timeLimit` in fun main to 120\r\n5. In `fun main` change: `projectFilter = listOf(\"guava-26.0\")`\r\n6. Run `fun main` - make sure to set JRE in Edit Configurations to JDK 8.\r\n7. Wait tests are generated in `utbot-junit-contest/build/output/test/guava-26.0`\r\n8. Check  `utbot-junit-contest/build/output/test/guava-26.0/com/google/common/primitives`\r\n\r\n**Expected behavior**\r\n\r\nTests are supposed to be generated.\r\n\r\n**Actual behavior**\r\n\r\nEmpty test classes are generated for Booleans and Shorts.\r\n\r\n**Visual proofs (screenshots, logs, images)**\r\n\r\n\u003cdetails\u003e\r\n\u003csummary\u003e\r\nLog record for Shorts: // same for Booleans\r\n\r\n\tcanceled by timeout = true\r\n\r\n\t#methods = 49, \r\n\r\n\t#methods started symbolic exploration = 49\r\n\r\n\t#methods with at least one TC = 0\r\n\r\n\t#methods with exceptions = 0\r\n\r\n\t#generated TC = 0\r\n\r\n\t#total coverage = 0/0\r\n\r\n\t#fuzzed coverage = 0/0\r\n\r\n\t#concolic coverage = 0/0\r\n\r\n\u003c/summary\u003e\r\n~~~\r\n3:18:20.600 | INFO  | ClassUnderTest[ FQN: com.google.common.primitives.Shorts\r\n    classfileDir: C:\\Users\\lWX1182794\\UTBotJava\\utbot-junit-contest\\build\\output\\unzipped\\guava-26.0\r\n    testClassSimpleName: ShortsTest\r\n    generatedTestFile: C:\\Users\\lWX1182794\\UTBotJava\\utbot-junit-contest\\build\\output\\test_candidates\\guava-26.0\\com\\google\\common\\primitives\\ShortsTest.java\r\n    generatedTestsSourcesDir: utbot-junit-contest\\build\\output\\test_candidates\\guava-26.0\r\n]\r\n13:18:20.600 | INFO  | Started: class com.google.common.primitives.Shorts\r\n13:18:20.600 | INFO  | Started: preparation class class com.google.common.primitives.Shorts: kotlin reflection :: run\r\n13:18:20.611 | INFO  | Finished (in 0.011 sec): preparation class class com.google.common.primitives.Shorts: kotlin reflection :: run \r\n13:18:20.611 | INFO  | Started: 2nd optional soot initialization\r\n13:18:21.881 | INFO  | Finished (in 1.270 sec): 2nd optional soot initialization \r\n13:18:21.904 | DEBUG |  ... \r\n13:18:21.904 | INFO  | Started: method com.google.common.primitives.Shorts.hashCode\r\n13:18:21.905 | INFO  |  -- Remaining time budget: 100695 ms, #remaining_methods: 49, budget for method: 2055 ms, solver timeout: 1000 ms, budget for symbolic execution: 1028 ms, budget for concrete execution: 1027 ms,  -- \r\n13:18:22.968 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.hashCode\r\n13:18:24.019 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.hashCode\r\n13:18:24.021 | INFO  | Finished (in 2.116 sec): method com.google.common.primitives.Shorts.hashCode \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:18:24.022 | DEBUG |  ... \r\n13:18:24.022 | INFO  | Started: method com.google.common.primitives.Shorts.min\r\n13:18:24.022 | INFO  |  -- Remaining time budget: 98577 ms, #remaining_methods: 48, budget for method: 2053 ms, solver timeout: 1000 ms, budget for symbolic execution: 1027 ms, budget for concrete execution: 1026 ms,  -- \r\n13:18:25.052 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.min\r\n13:18:26.092 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.min\r\n13:18:26.094 | INFO  | Finished (in 2.072 sec): method com.google.common.primitives.Shorts.min \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:18:26.094 | DEBUG |  ... \r\n13:18:26.094 | INFO  | Started: method com.google.common.primitives.Shorts.max\r\n13:18:26.094 | INFO  |  -- Remaining time budget: 96505 ms, #remaining_methods: 47, budget for method: 2053 ms, solver timeout: 1000 ms, budget for symbolic execution: 1027 ms, budget for concrete execution: 1026 ms,  -- \r\n13:18:27.137 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.max\r\n13:18:28.170 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.max\r\n13:18:28.171 | INFO  | Finished (in 2.077 sec): method com.google.common.primitives.Shorts.max \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:18:28.171 | DEBUG |  ... \r\n13:18:28.171 | INFO  | Started: method com.google.common.primitives.Shorts.indexOf\r\n13:18:28.171 | INFO  |  -- Remaining time budget: 94428 ms, #remaining_methods: 46, budget for method: 2052 ms, solver timeout: 1000 ms, budget for symbolic execution: 1026 ms, budget for concrete execution: 1026 ms,  -- \r\n13:18:29.205 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.indexOf\r\n13:18:30.232 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.indexOf\r\n13:18:30.233 | INFO  | Finished (in 2.062 sec): method com.google.common.primitives.Shorts.indexOf \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:18:30.233 | DEBUG |  ... \r\n13:18:30.233 | INFO  | Started: method com.google.common.primitives.Shorts.indexOf\r\n13:18:30.233 | INFO  |  -- Remaining time budget: 92366 ms, #remaining_methods: 45, budget for method: 2052 ms, solver timeout: 1000 ms, budget for symbolic execution: 1026 ms, budget for concrete execution: 1026 ms,  -- \r\n13:18:31.267 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.indexOf\r\n13:18:32.299 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.indexOf\r\n13:18:32.300 | INFO  | Finished (in 2.067 sec): method com.google.common.primitives.Shorts.indexOf \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:18:32.301 | DEBUG |  ... \r\n13:18:32.301 | INFO  | Started: method com.google.common.primitives.Shorts.indexOf\r\n13:18:32.301 | INFO  |  -- Remaining time budget: 90298 ms, #remaining_methods: 44, budget for method: 2052 ms, solver timeout: 1000 ms, budget for symbolic execution: 1026 ms, budget for concrete execution: 1026 ms,  -- \r\n13:18:33.332 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.indexOf\r\n13:18:34.362 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.indexOf\r\n13:18:34.363 | INFO  | Finished (in 2.062 sec): method com.google.common.primitives.Shorts.indexOf \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:18:34.363 | DEBUG |  ... \r\n13:18:34.363 | INFO  | Started: method com.google.common.primitives.Shorts.lastIndexOf\r\n13:18:34.363 | INFO  |  -- Remaining time budget: 88236 ms, #remaining_methods: 43, budget for method: 2052 ms, solver timeout: 1000 ms, budget for symbolic execution: 1026 ms, budget for concrete execution: 1026 ms,  -- \r\n13:18:35.393 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.lastIndexOf\r\n13:18:36.427 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.lastIndexOf\r\n13:18:36.428 | INFO  | Finished (in 2.064 sec): method com.google.common.primitives.Shorts.lastIndexOf \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:18:36.428 | DEBUG |  ... \r\n13:18:36.428 | INFO  | Started: method com.google.common.primitives.Shorts.lastIndexOf\r\n13:18:36.428 | INFO  |  -- Remaining time budget: 86171 ms, #remaining_methods: 42, budget for method: 2051 ms, solver timeout: 1000 ms, budget for symbolic execution: 1026 ms, budget for concrete execution: 1025 ms,  -- \r\n13:18:37.460 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.lastIndexOf\r\n13:18:38.493 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.lastIndexOf\r\n13:18:38.495 | INFO  | Finished (in 2.066 sec): method com.google.common.primitives.Shorts.lastIndexOf \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:18:38.495 | DEBUG |  ... \r\n13:18:38.495 | INFO  | Started: method com.google.common.primitives.Shorts.concat\r\n13:18:38.495 | INFO  |  -- Remaining time budget: 84104 ms, #remaining_methods: 41, budget for method: 2051 ms, solver timeout: 1000 ms, budget for symbolic execution: 1026 ms, budget for concrete execution: 1025 ms,  -- \r\n13:18:39.525 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.concat\r\n13:18:40.554 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.concat\r\n13:18:40.555 | INFO  | Finished (in 2.060 sec): method com.google.common.primitives.Shorts.concat \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:18:40.555 | DEBUG |  ... \r\n13:18:40.555 | INFO  | Started: method com.google.common.primitives.Shorts.contains\r\n13:18:40.555 | INFO  |  -- Remaining time budget: 82044 ms, #remaining_methods: 40, budget for method: 2051 ms, solver timeout: 1000 ms, budget for symbolic execution: 1026 ms, budget for concrete execution: 1025 ms,  -- \r\n13:18:41.590 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.contains\r\n13:18:42.622 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.contains\r\n13:18:42.623 | INFO  | Finished (in 2.068 sec): method com.google.common.primitives.Shorts.contains \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:18:42.623 | DEBUG |  ... \r\n13:18:42.623 | INFO  | Started: method com.google.common.primitives.Shorts.join\r\n13:18:42.623 | INFO  |  -- Remaining time budget: 79976 ms, #remaining_methods: 39, budget for method: 2050 ms, solver timeout: 1000 ms, budget for symbolic execution: 1025 ms, budget for concrete execution: 1025 ms,  -- \r\n13:18:43.652 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.join\r\n13:18:44.690 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.join\r\n13:18:44.691 | INFO  | Finished (in 2.068 sec): method com.google.common.primitives.Shorts.join \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:18:44.691 | DEBUG |  ... \r\n13:18:44.691 | INFO  | Started: method com.google.common.primitives.Shorts.compare\r\n13:18:44.691 | INFO  |  -- Remaining time budget: 77908 ms, #remaining_methods: 38, budget for method: 2050 ms, solver timeout: 1000 ms, budget for symbolic execution: 1025 ms, budget for concrete execution: 1025 ms,  -- \r\n13:18:45.720 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.compare\r\n13:18:46.748 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.compare\r\n13:18:46.749 | INFO  | Finished (in 2.059 sec): method com.google.common.primitives.Shorts.compare \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:18:46.749 | DEBUG |  ... \r\n13:18:46.749 | INFO  | Started: method com.google.common.primitives.Shorts.toArray\r\n13:18:46.749 | INFO  |  -- Remaining time budget: 75850 ms, #remaining_methods: 37, budget for method: 2050 ms, solver timeout: 1000 ms, budget for symbolic execution: 1025 ms, budget for concrete execution: 1025 ms,  -- \r\n13:18:47.778 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.toArray\r\n13:18:48.808 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.toArray\r\n13:18:48.824 | INFO  | Finished (in 2.074 sec): method com.google.common.primitives.Shorts.toArray \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:18:48.824 | DEBUG |  ... \r\n13:18:48.824 | INFO  | Started: method com.google.common.primitives.Shorts.asList\r\n13:18:48.824 | INFO  |  -- Remaining time budget: 73775 ms, #remaining_methods: 36, budget for method: 2049 ms, solver timeout: 1000 ms, budget for symbolic execution: 1025 ms, budget for concrete execution: 1024 ms,  -- \r\n13:18:49.857 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.asList\r\n13:18:50.884 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.asList\r\n13:18:50.886 | INFO  | Finished (in 2.062 sec): method com.google.common.primitives.Shorts.asList \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:18:50.886 | DEBUG |  ... \r\n13:18:50.886 | INFO  | Started: method com.google.common.primitives.Shorts.ensureCapacity\r\n13:18:50.886 | INFO  |  -- Remaining time budget: 71713 ms, #remaining_methods: 35, budget for method: 2048 ms, solver timeout: 1000 ms, budget for symbolic execution: 1024 ms, budget for concrete execution: 1024 ms,  -- \r\n13:18:51.920 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.ensureCapacity\r\n13:18:52.948 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.ensureCapacity\r\n13:18:52.949 | INFO  | Finished (in 2.063 sec): method com.google.common.primitives.Shorts.ensureCapacity \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:18:52.950 | DEBUG |  ... \r\n13:18:52.950 | INFO  | Started: method com.google.common.primitives.Shorts.reverse\r\n13:18:52.950 | INFO  |  -- Remaining time budget: 69649 ms, #remaining_methods: 34, budget for method: 2048 ms, solver timeout: 1000 ms, budget for symbolic execution: 1024 ms, budget for concrete execution: 1024 ms,  -- \r\n13:18:53.987 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.reverse\r\n13:18:55.020 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.reverse\r\n13:18:55.022 | INFO  | Finished (in 2.072 sec): method com.google.common.primitives.Shorts.reverse \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:18:55.022 | DEBUG |  ... \r\n13:18:55.022 | INFO  | Started: method com.google.common.primitives.Shorts.reverse\r\n13:18:55.022 | INFO  |  -- Remaining time budget: 67577 ms, #remaining_methods: 33, budget for method: 2047 ms, solver timeout: 1000 ms, budget for symbolic execution: 1024 ms, budget for concrete execution: 1023 ms,  -- \r\n13:18:56.047 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.reverse\r\n13:18:57.079 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.reverse\r\n13:18:57.080 | INFO  | Finished (in 2.058 sec): method com.google.common.primitives.Shorts.reverse \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:18:57.080 | DEBUG |  ... \r\n13:18:57.080 | INFO  | Started: method com.google.common.primitives.Shorts.toByteArray\r\n13:18:57.080 | INFO  |  -- Remaining time budget: 65519 ms, #remaining_methods: 32, budget for method: 2047 ms, solver timeout: 1000 ms, budget for symbolic execution: 1024 ms, budget for concrete execution: 1023 ms,  -- \r\n13:18:58.109 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.toByteArray\r\n13:18:59.140 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.toByteArray\r\n13:18:59.141 | INFO  | Finished (in 2.060 sec): method com.google.common.primitives.Shorts.toByteArray \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:18:59.141 | DEBUG |  ... \r\n13:18:59.141 | INFO  | Started: method com.google.common.primitives.Shorts.sortDescending\r\n13:18:59.141 | INFO  |  -- Remaining time budget: 63458 ms, #remaining_methods: 31, budget for method: 2047 ms, solver timeout: 1000 ms, budget for symbolic execution: 1024 ms, budget for concrete execution: 1023 ms,  -- \r\n13:19:00.175 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.sortDescending\r\n13:19:01.208 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.sortDescending\r\n13:19:01.209 | INFO  | Finished (in 2.068 sec): method com.google.common.primitives.Shorts.sortDescending \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:01.209 | DEBUG |  ... \r\n13:19:01.209 | INFO  | Started: method com.google.common.primitives.Shorts.sortDescending\r\n13:19:01.209 | INFO  |  -- Remaining time budget: 61390 ms, #remaining_methods: 30, budget for method: 2046 ms, solver timeout: 1000 ms, budget for symbolic execution: 1023 ms, budget for concrete execution: 1023 ms,  -- \r\n13:19:02.241 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.sortDescending\r\n13:19:03.270 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.sortDescending\r\n13:19:03.272 | INFO  | Finished (in 2.062 sec): method com.google.common.primitives.Shorts.sortDescending \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:03.272 | DEBUG |  ... \r\n13:19:03.272 | INFO  | Started: method com.google.common.primitives.Shorts.stringConverter\r\n13:19:03.272 | INFO  |  -- Remaining time budget: 59327 ms, #remaining_methods: 29, budget for method: 2045 ms, solver timeout: 1000 ms, budget for symbolic execution: 1023 ms, budget for concrete execution: 1022 ms,  -- \r\n13:19:04.302 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.stringConverter\r\n13:19:05.336 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.stringConverter\r\n13:19:05.350 | INFO  | Finished (in 2.079 sec): method com.google.common.primitives.Shorts.stringConverter :: EXCEPTION :: \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:05.351 | DEBUG |  ... \r\n13:19:05.351 | INFO  | Started: method com.google.common.primitives.Shorts.constrainToRange\r\n13:19:05.351 | INFO  |  -- Remaining time budget: 57248 ms, #remaining_methods: 28, budget for method: 2044 ms, solver timeout: 1000 ms, budget for symbolic execution: 1022 ms, budget for concrete execution: 1022 ms,  -- \r\n13:19:06.386 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.constrainToRange\r\n13:19:07.414 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.constrainToRange\r\n13:19:07.416 | INFO  | Finished (in 2.065 sec): method com.google.common.primitives.Shorts.constrainToRange \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:07.416 | DEBUG |  ... \r\n13:19:07.417 | INFO  | Started: method com.google.common.primitives.Shorts.checkedCast\r\n13:19:07.417 | INFO  |  -- Remaining time budget: 55183 ms, #remaining_methods: 27, budget for method: 2043 ms, solver timeout: 1000 ms, budget for symbolic execution: 1022 ms, budget for concrete execution: 1021 ms,  -- \r\n13:19:08.442 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.checkedCast\r\n13:19:09.467 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.checkedCast\r\n13:19:09.469 | INFO  | Finished (in 2.053 sec): method com.google.common.primitives.Shorts.checkedCast \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:09.469 | DEBUG |  ... \r\n13:19:09.469 | INFO  | Started: method com.google.common.primitives.Shorts.saturatedCast\r\n13:19:09.470 | INFO  |  -- Remaining time budget: 53130 ms, #remaining_methods: 26, budget for method: 2043 ms, solver timeout: 1000 ms, budget for symbolic execution: 1022 ms, budget for concrete execution: 1021 ms,  -- \r\n13:19:10.495 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.saturatedCast\r\n13:19:11.525 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.saturatedCast\r\n13:19:11.526 | INFO  | Finished (in 2.057 sec): method com.google.common.primitives.Shorts.saturatedCast \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:11.527 | DEBUG |  ... \r\n13:19:11.527 | INFO  | Started: method com.google.common.primitives.Shorts.lexicographicalComparator\r\n13:19:11.527 | INFO  |  -- Remaining time budget: 51072 ms, #remaining_methods: 25, budget for method: 2042 ms, solver timeout: 1000 ms, budget for symbolic execution: 1021 ms, budget for concrete execution: 1021 ms,  -- \r\n13:19:12.559 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.lexicographicalComparator\r\n13:19:13.595 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.lexicographicalComparator\r\n13:19:13.596 | INFO  | Finished (in 2.068 sec): method com.google.common.primitives.Shorts.lexicographicalComparator :: EXCEPTION :: \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:13.596 | DEBUG |  ... \r\n13:19:13.596 | INFO  | Started: method com.google.common.primitives.Shorts.fromByteArray\r\n13:19:13.596 | INFO  |  -- Remaining time budget: 49003 ms, #remaining_methods: 24, budget for method: 2041 ms, solver timeout: 1000 ms, budget for symbolic execution: 1021 ms, budget for concrete execution: 1020 ms,  -- \r\n13:19:14.628 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.fromByteArray\r\n13:19:15.658 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.fromByteArray\r\n13:19:15.659 | INFO  | Finished (in 2.063 sec): method com.google.common.primitives.Shorts.fromByteArray \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:15.659 | DEBUG |  ... \r\n13:19:15.659 | INFO  | Started: method com.google.common.primitives.Shorts.fromBytes\r\n13:19:15.659 | INFO  |  -- Remaining time budget: 46940 ms, #remaining_methods: 23, budget for method: 2040 ms, solver timeout: 1000 ms, budget for symbolic execution: 1020 ms, budget for concrete execution: 1020 ms,  -- \r\n13:19:16.693 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.fromBytes\r\n13:19:17.714 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.fromBytes\r\n13:19:17.714 | INFO  | Finished (in 2.056 sec): method com.google.common.primitives.Shorts.fromBytes \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:17.714 | DEBUG |  ... \r\n13:19:17.714 | INFO  | Started: method com.google.common.primitives.Shorts.\u003cinit\u003e\r\n13:19:17.714 | INFO  |  -- Remaining time budget: 44885 ms, #remaining_methods: 22, budget for method: 2040 ms, solver timeout: 1000 ms, budget for symbolic execution: 1020 ms, budget for concrete execution: 1020 ms,  -- \r\n13:19:18.744 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts.\u003cinit\u003e\r\n13:19:19.774 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts.\u003cinit\u003e\r\n13:19:19.776 | INFO  | Finished (in 2.062 sec): method com.google.common.primitives.Shorts.\u003cinit\u003e :: EXCEPTION :: \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:19.776 | DEBUG |  ... \r\n13:19:19.776 | INFO  | Started: method com.google.common.primitives.Shorts$ShortArrayAsList.get\r\n13:19:19.776 | INFO  |  -- Remaining time budget: 42823 ms, #remaining_methods: 21, budget for method: 2039 ms, solver timeout: 1000 ms, budget for symbolic execution: 1020 ms, budget for concrete execution: 1019 ms,  -- \r\n13:19:20.809 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts$ShortArrayAsList.get\r\n13:19:21.844 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts$ShortArrayAsList.get\r\n13:19:21.855 | INFO  | Finished (in 2.078 sec): method com.google.common.primitives.Shorts$ShortArrayAsList.get :: EXCEPTION :: \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:21.855 | DEBUG |  ... \r\n13:19:21.855 | INFO  | Started: method com.google.common.primitives.Shorts$ShortArrayAsList.equals\r\n13:19:21.855 | INFO  |  -- Remaining time budget: 40744 ms, #remaining_methods: 20, budget for method: 2037 ms, solver timeout: 1000 ms, budget for symbolic execution: 1019 ms, budget for concrete execution: 1018 ms,  -- \r\n13:19:22.879 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts$ShortArrayAsList.equals\r\n13:19:23.898 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts$ShortArrayAsList.equals\r\n13:19:23.901 | INFO  | Finished (in 2.046 sec): method com.google.common.primitives.Shorts$ShortArrayAsList.equals :: EXCEPTION :: \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:23.901 | DEBUG |  ... \r\n13:19:23.901 | INFO  | Started: method com.google.common.primitives.Shorts$ShortArrayAsList.toString\r\n13:19:23.901 | INFO  |  -- Remaining time budget: 38698 ms, #remaining_methods: 19, budget for method: 2036 ms, solver timeout: 1000 ms, budget for symbolic execution: 1018 ms, budget for concrete execution: 1018 ms,  -- \r\n13:19:24.920 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts$ShortArrayAsList.toString\r\n13:19:25.939 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts$ShortArrayAsList.toString\r\n13:19:25.950 | INFO  | Finished (in 2.049 sec): method com.google.common.primitives.Shorts$ShortArrayAsList.toString :: EXCEPTION :: \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:25.951 | DEBUG |  ... \r\n13:19:25.951 | INFO  | Started: method com.google.common.primitives.Shorts$ShortArrayAsList.hashCode\r\n13:19:25.951 | INFO  |  -- Remaining time budget: 36648 ms, #remaining_methods: 18, budget for method: 2036 ms, solver timeout: 1000 ms, budget for symbolic execution: 1018 ms, budget for concrete execution: 1018 ms,  -- \r\n13:19:26.984 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts$ShortArrayAsList.hashCode\r\n13:19:28.009 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts$ShortArrayAsList.hashCode\r\n13:19:28.010 | INFO  | Finished (in 2.059 sec): method com.google.common.primitives.Shorts$ShortArrayAsList.hashCode :: EXCEPTION :: \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:28.010 | DEBUG |  ... \r\n13:19:28.010 | INFO  | Started: method com.google.common.primitives.Shorts$ShortArrayAsList.indexOf\r\n13:19:28.010 | INFO  |  -- Remaining time budget: 34589 ms, #remaining_methods: 17, budget for method: 2034 ms, solver timeout: 1000 ms, budget for symbolic execution: 1017 ms, budget for concrete execution: 1017 ms,  -- \r\n13:19:29.039 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts$ShortArrayAsList.indexOf\r\n13:19:30.065 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts$ShortArrayAsList.indexOf\r\n13:19:30.070 | INFO  | Finished (in 2.060 sec): method com.google.common.primitives.Shorts$ShortArrayAsList.indexOf :: EXCEPTION :: \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:30.070 | DEBUG |  ... \r\n13:19:30.070 | INFO  | Started: method com.google.common.primitives.Shorts$ShortArrayAsList.isEmpty\r\n13:19:30.070 | INFO  |  -- Remaining time budget: 32529 ms, #remaining_methods: 16, budget for method: 2033 ms, solver timeout: 1000 ms, budget for symbolic execution: 1017 ms, budget for concrete execution: 1016 ms,  -- \r\n13:19:31.092 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts$ShortArrayAsList.isEmpty\r\n13:19:32.120 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts$ShortArrayAsList.isEmpty\r\n13:19:32.120 | INFO  | Finished (in 2.050 sec): method com.google.common.primitives.Shorts$ShortArrayAsList.isEmpty :: EXCEPTION :: \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:32.120 | DEBUG |  ... \r\n13:19:32.120 | INFO  | Started: method com.google.common.primitives.Shorts$ShortArrayAsList.lastIndexOf\r\n13:19:32.121 | INFO  |  -- Remaining time budget: 30479 ms, #remaining_methods: 15, budget for method: 2031 ms, solver timeout: 1000 ms, budget for symbolic execution: 1016 ms, budget for concrete execution: 1015 ms,  -- \r\n13:19:33.149 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts$ShortArrayAsList.lastIndexOf\r\n13:19:34.179 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts$ShortArrayAsList.lastIndexOf\r\n13:19:34.182 | INFO  | Finished (in 2.061 sec): method com.google.common.primitives.Shorts$ShortArrayAsList.lastIndexOf :: EXCEPTION :: \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:34.182 | DEBUG |  ... \r\n13:19:34.182 | INFO  | Started: method com.google.common.primitives.Shorts$ShortArrayAsList.contains\r\n13:19:34.182 | INFO  |  -- Remaining time budget: 28417 ms, #remaining_methods: 14, budget for method: 2029 ms, solver timeout: 1000 ms, budget for symbolic execution: 1015 ms, budget for concrete execution: 1014 ms,  -- \r\n13:19:35.207 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts$ShortArrayAsList.contains\r\n13:19:36.222 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts$ShortArrayAsList.contains\r\n13:19:36.225 | INFO  | Finished (in 2.043 sec): method com.google.common.primitives.Shorts$ShortArrayAsList.contains :: EXCEPTION :: \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:36.225 | DEBUG |  ... \r\n13:19:36.225 | INFO  | Started: method com.google.common.primitives.Shorts$ShortArrayAsList.size\r\n13:19:36.225 | INFO  |  -- Remaining time budget: 26374 ms, #remaining_methods: 13, budget for method: 2028 ms, solver timeout: 1000 ms, budget for symbolic execution: 1014 ms, budget for concrete execution: 1014 ms,  -- \r\n13:19:37.253 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts$ShortArrayAsList.size\r\n13:19:38.281 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts$ShortArrayAsList.size\r\n13:19:38.281 | INFO  | Finished (in 2.055 sec): method com.google.common.primitives.Shorts$ShortArrayAsList.size :: EXCEPTION :: \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:38.281 | DEBUG |  ... \r\n13:19:38.281 | INFO  | Started: method com.google.common.primitives.Shorts$ShortArrayAsList.subList\r\n13:19:38.281 | INFO  |  -- Remaining time budget: 24318 ms, #remaining_methods: 12, budget for method: 2026 ms, solver timeout: 1000 ms, budget for symbolic execution: 1013 ms, budget for concrete execution: 1013 ms,  -- \r\n13:19:39.308 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts$ShortArrayAsList.subList\r\n13:19:40.328 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts$ShortArrayAsList.subList\r\n13:19:40.341 | INFO  | Finished (in 2.060 sec): method com.google.common.primitives.Shorts$ShortArrayAsList.subList :: EXCEPTION :: \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:40.341 | DEBUG |  ... \r\n13:19:40.341 | INFO  | Started: method com.google.common.primitives.Shorts$ShortArrayAsList.set\r\n13:19:40.341 | INFO  |  -- Remaining time budget: 22258 ms, #remaining_methods: 11, budget for method: 2023 ms, solver timeout: 1000 ms, budget for symbolic execution: 1012 ms, budget for concrete execution: 1011 ms,  -- \r\n13:19:41.358 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts$ShortArrayAsList.set\r\n13:19:42.382 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts$ShortArrayAsList.set\r\n13:19:42.395 | INFO  | Finished (in 2.054 sec): method com.google.common.primitives.Shorts$ShortArrayAsList.set :: EXCEPTION :: \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:42.395 | DEBUG |  ... \r\n13:19:42.396 | INFO  | Started: method com.google.common.primitives.Shorts$ShortArrayAsList.toShortArray\r\n13:19:42.396 | INFO  |  -- Remaining time budget: 20204 ms, #remaining_methods: 10, budget for method: 2020 ms, solver timeout: 1000 ms, budget for symbolic execution: 1010 ms, budget for concrete execution: 1010 ms,  -- \r\n13:19:43.417 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts$ShortArrayAsList.toShortArray\r\n13:19:44.430 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts$ShortArrayAsList.toShortArray\r\n13:19:44.443 | INFO  | Finished (in 2.048 sec): method com.google.common.primitives.Shorts$ShortArrayAsList.toShortArray :: EXCEPTION :: \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:44.444 | DEBUG |  ... \r\n13:19:44.444 | INFO  | Started: method com.google.common.primitives.Shorts$ShortArrayAsList.\u003cinit\u003e\r\n13:19:44.444 | INFO  |  -- Remaining time budget: 18155 ms, #remaining_methods: 9, budget for method: 2017 ms, solver timeout: 1000 ms, budget for symbolic execution: 1009 ms, budget for concrete execution: 1008 ms,  -- \r\n13:19:45.457 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts$ShortArrayAsList.\u003cinit\u003e\r\n13:19:46.473 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts$ShortArrayAsList.\u003cinit\u003e\r\n13:19:46.474 | INFO  | Finished (in 2.031 sec): method com.google.common.primitives.Shorts$ShortArrayAsList.\u003cinit\u003e \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:46.474 | DEBUG |  ... \r\n13:19:46.474 | INFO  | Started: method com.google.common.primitives.Shorts$ShortArrayAsList.\u003cinit\u003e\r\n13:19:46.474 | INFO  |  -- Remaining time budget: 16125 ms, #remaining_methods: 8, budget for method: 2015 ms, solver timeout: 1000 ms, budget for symbolic execution: 1008 ms, budget for concrete execution: 1007 ms,  -- \r\n13:19:47.493 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts$ShortArrayAsList.\u003cinit\u003e\r\n13:19:48.502 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts$ShortArrayAsList.\u003cinit\u003e\r\n13:19:48.503 | INFO  | Finished (in 2.029 sec): method com.google.common.primitives.Shorts$ShortArrayAsList.\u003cinit\u003e \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:48.503 | DEBUG |  ... \r\n13:19:48.503 | INFO  | Started: method com.google.common.primitives.Shorts$LexicographicalComparator.toString\r\n13:19:48.503 | INFO  |  -- Remaining time budget: 14096 ms, #remaining_methods: 7, budget for method: 2013 ms, solver timeout: 1000 ms, budget for symbolic execution: 1007 ms, budget for concrete execution: 1006 ms,  -- \r\n13:19:49.520 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts$LexicographicalComparator.toString\r\n13:19:50.536 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts$LexicographicalComparator.toString\r\n13:19:50.539 | INFO  | Finished (in 2.035 sec): method com.google.common.primitives.Shorts$LexicographicalComparator.toString \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:50.539 | DEBUG |  ... \r\n13:19:50.539 | INFO  | Started: method com.google.common.primitives.Shorts$LexicographicalComparator.compare\r\n13:19:50.539 | INFO  |  -- Remaining time budget: 12060 ms, #remaining_methods: 6, budget for method: 2010 ms, solver timeout: 1000 ms, budget for symbolic execution: 1005 ms, budget for concrete execution: 1005 ms,  -- \r\n13:19:51.548 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts$LexicographicalComparator.compare\r\n13:19:52.562 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts$LexicographicalComparator.compare\r\n13:19:52.563 | INFO  | Finished (in 2.024 sec): method com.google.common.primitives.Shorts$LexicographicalComparator.compare \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:52.563 | DEBUG |  ... \r\n13:19:52.563 | INFO  | Started: method com.google.common.primitives.Shorts$ShortConverter.toString\r\n13:19:52.563 | INFO  |  -- Remaining time budget: 10036 ms, #remaining_methods: 5, budget for method: 2007 ms, solver timeout: 1000 ms, budget for symbolic execution: 1004 ms, budget for concrete execution: 1003 ms,  -- \r\n13:19:53.577 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts$ShortConverter.toString\r\n13:19:54.590 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts$ShortConverter.toString\r\n13:19:54.591 | INFO  | Finished (in 2.028 sec): method com.google.common.primitives.Shorts$ShortConverter.toString :: EXCEPTION :: \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:54.591 | DEBUG |  ... \r\n13:19:54.591 | INFO  | Started: method com.google.common.primitives.Shorts$ShortConverter.readResolve\r\n13:19:54.591 | INFO  |  -- Remaining time budget: 8008 ms, #remaining_methods: 4, budget for method: 2002 ms, solver timeout: 1000 ms, budget for symbolic execution: 1001 ms, budget for concrete execution: 1001 ms,  -- \r\n13:19:55.607 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts$ShortConverter.readResolve\r\n13:19:56.618 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts$ShortConverter.readResolve\r\n13:19:56.638 | INFO  | Finished (in 2.047 sec): method com.google.common.primitives.Shorts$ShortConverter.readResolve :: EXCEPTION :: \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:56.638 | DEBUG |  ... \r\n13:19:56.638 | INFO  | Started: method com.google.common.primitives.Shorts$ShortConverter.doForward\r\n13:19:56.638 | INFO  |  -- Remaining time budget: 5961 ms, #remaining_methods: 3, budget for method: 1987 ms, solver timeout: 993 ms, budget for symbolic execution: 994 ms, budget for concrete execution: 993 ms,  -- \r\n13:19:57.637 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts$ShortConverter.doForward\r\n13:19:58.635 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts$ShortConverter.doForward\r\n13:19:58.659 | INFO  | Finished (in 2.021 sec): method com.google.common.primitives.Shorts$ShortConverter.doForward :: EXCEPTION :: \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:19:58.659 | DEBUG |  ... \r\n13:19:58.659 | INFO  | Started: method com.google.common.primitives.Shorts$ShortConverter.doBackward\r\n13:19:58.659 | INFO  |  -- Remaining time budget: 3940 ms, #remaining_methods: 2, budget for method: 1970 ms, solver timeout: 985 ms, budget for symbolic execution: 985 ms, budget for concrete execution: 985 ms,  -- \r\n13:19:59.651 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts$ShortConverter.doBackward\r\n13:20:00.637 | INFO  | (X) Cancelling concrete execution: com.google.common.primitives.Shorts$ShortConverter.doBackward\r\n13:20:00.638 | INFO  | Finished (in 1.978 sec): method com.google.common.primitives.Shorts$ShortConverter.doBackward :: EXCEPTION :: \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:20:00.638 | DEBUG |  ... \r\n13:20:00.638 | INFO  | Started: method com.google.common.primitives.Shorts$ShortConverter.\u003cinit\u003e\r\n13:20:00.638 | INFO  |  -- Remaining time budget: 1961 ms, #remaining_methods: 1, budget for method: 1961 ms, solver timeout: 980 ms, budget for symbolic execution: 981 ms, budget for concrete execution: 980 ms,  -- \r\n13:20:01.632 | INFO  | |\u003e Starting concrete execution for remaining state: com.google.common.primitives.Shorts$ShortConverter.\u003cinit\u003e\r\n13:20:02.606 | WARN  | Cancelling job because timeout 102000 ms elapsed (real cancellation can take time)\r\n13:20:02.617 | INFO  | Finished (in 1.978 sec): method com.google.common.primitives.Shorts$ShortConverter.\u003cinit\u003e :: EXCEPTION :: \r\n\u003cStatsForMethod\u003e : SUSPICIOUS\r\n\t#generatedTC=0\r\n\tWITH NO EXCEPTIONS\r\n13:20:02.617 | ERROR | Internal job error\r\nkotlinx.coroutines.JobCancellationException: StandaloneCoroutine was cancelled\r\n13:20:02.623 | INFO  | Started: Flushing tests for [Shorts] on disk\r\n13:20:02.624 | INFO  | File size for ShortsTest: 73 bytes\r\n13:20:02.626 | INFO  | Finished (in 0.003 sec): Flushing tests for [Shorts] on disk \r\n13:20:02.626 | INFO  | Finished (in 102.026 sec): class com.google.common.primitives.Shorts \r\n\u003cStatsForClass(com.google.common.primitives.Shorts)\u003e :\r\n\tcanceled by timeout = true\r\n\t#methods = 49, \r\n\t#methods started symbolic exploration = 49\r\n\t#methods with at least one TC = 0\r\n\t#methods with exceptions = 0\r\n\t#generated TC = 0\r\n\t#total coverage = 0/0\r\n\t#fuzzed coverage = 0/0\r\n\t#concolic coverage = 0/0\r\n13:20:02.626 | INFO  | Started: Compiling class C:\\Users\\lWX1182794\\UTBotJava\\utbot-junit-contest\\build\\output\\test_candidates\\guava-26.0\\com\\google\\common\\primitives\\ShortsTest.java\r\n13:20:02.631 | DEBUG | Compile attempt 1\r\n13:20:05.008 | INFO  | Moved successfully compiled file into C:\\Users\\lWX1182794\\UTBotJava\\utbot-junit-contest\\build\\output\\test\\guava-26.0\\com\\google\\common\\primitives\\ShortsTest.java\r\n13:20:05.008 | INFO  | Finished (in 2.382 sec): Compiling class C:\\Users\\lWX1182794\\UTBotJava\\utbot-junit-contest\\build\\output\\test_candidates\\guava-26.0\\com\\google\\common\\primitives\\ShortsTest.java ~~~\r\n\u003cdetails\u003e\r\n\r\n**Environment**\r\n\r\n_Substitute this text with an information that can help us to recreate the environment. For instance, specify Java version, test framework with a version (JUnit, TestNG...), Mockito configuration (packages, classes, statics), were the test parametrized or not and so on._\r\n\r\n**Additional context**\r\n\r\nAdd any other context about the problem here.\r\n","author":{"url":"https://github.com/alisevych","@type":"Person","name":"alisevych"},"datePublished":"2023-01-19T10:55:40.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":2},"url":"https://github.com/1718/UTBotJava/issues/1718"}