René's URL Explorer Experiment


Title: USVM to UtBot adapters without contest hacks by IlyaMuravjov · Pull Request #2710 · UnitTestBot/UTBotJava · GitHub

Open Graph Title: USVM to UtBot adapters without contest hacks by IlyaMuravjov · Pull Request #2710 · UnitTestBot/UTBotJava

X Title: USVM to UtBot adapters without contest hacks by IlyaMuravjov · Pull Request #2710 · UnitTestBot/UTBotJava

Description: Automated unit test generation and precise code analysis for Java - USVM to UtBot adapters without contest hacks by IlyaMuravjov · Pull Request #2710 · UnitTestBot/UTBotJava

Open Graph Description: Description Adapters from USVM output to UtBot codegen input are added New Tool.USVM is introduced in ContestEstimator (set val mainTool = Tool.USVM to use it) How to test Automated tests Regress...

X Description: Description Adapters from USVM output to UtBot codegen input are added New Tool.USVM is introduced in ContestEstimator (set val mainTool = Tool.USVM to use it) How to test Automated tests Regress...

Opengraph URL: https://github.com/UnitTestBot/UTBotJava/pull/2710

X: @github

direct link

Domain: github.com

route-pattern/:user_id/:repository/pull/:id/commits(.:format)
route-controllerpull_requests
route-actioncommits
fetch-noncev2:4f216c62-29b9-3405-6ab2-7066362655fc
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idA53C:3E328:8F13F3:C06808:698EDD66
html-safe-nonced0cf3beb7340079a2b635ebeb96af09ccb6c30c648842d0bc96ec0f4f6b152eb
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJBNTNDOjNFMzI4OjhGMTNGMzpDMDY4MDg6Njk4RURENjYiLCJ2aXNpdG9yX2lkIjoiOTIwNzM2OTk4MjYxODI5NTY1NCIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmac278d97441d5952173f690c8e89ded561cdb7e5378486f74a735ab2c89a0f3b0a
hovercard-subject-tagpull_request:1632892910
github-keyboard-shortcutsrepository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///pull_requests/show/commits
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/UnitTestBot/UTBotJava/pull/2710/commits
twitter:imagehttps://opengraph.githubassets.com/e96ba0fadd0018842cfb73b0a1ee5431cc2c3e5100b64c96728907a979ccd0f3/UnitTestBot/UTBotJava/pull/2710
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/e96ba0fadd0018842cfb73b0a1ee5431cc2c3e5100b64c96728907a979ccd0f3/UnitTestBot/UTBotJava/pull/2710
og:image:altDescription Adapters from USVM output to UtBot codegen input are added New Tool.USVM is introduced in ContestEstimator (set val mainTool = Tool.USVM to use it) How to test Automated tests Regress...
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernameIlyaMuravjov
hostnamegithub.com
expected-hostnamegithub.com
Nonecb2828a801ee6b7be618f3ac76fbf55def35bbc30f053a9c41bf90210b8b72ba
turbo-cache-controlno-cache
go-importgithub.com/UnitTestBot/UTBotJava git https://github.com/UnitTestBot/UTBotJava.git
octolytics-dimension-user_id87413538
octolytics-dimension-user_loginUnitTestBot
octolytics-dimension-repository_id480810501
octolytics-dimension-repository_nwoUnitTestBot/UTBotJava
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id480810501
octolytics-dimension-repository_network_root_nwoUnitTestBot/UTBotJava
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
releasee6b91a7e6e46287d26887e3fb7a4161657bab8f7
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fpull%2F2710%2Fcommits
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub SparkBuild and deploy intelligent appshttps://github.com/features/spark
GitHub ModelsManage and compare promptshttps://github.com/features/models
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fpull%2F2710%2Fcommits
Sign up https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fpull_requests%2Fshow%2Fcommits&source=header-repo&source_repo=UnitTestBot%2FUTBotJava
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits
UnitTestBot https://github.com/UnitTestBot
UTBotJavahttps://github.com/UnitTestBot/UTBotJava
Notifications https://github.com/login?return_to=%2FUnitTestBot%2FUTBotJava
Fork 45 https://github.com/login?return_to=%2FUnitTestBot%2FUTBotJava
Star 142 https://github.com/login?return_to=%2FUnitTestBot%2FUTBotJava
Code https://github.com/UnitTestBot/UTBotJava
Issues 386 https://github.com/UnitTestBot/UTBotJava/issues
Pull requests 33 https://github.com/UnitTestBot/UTBotJava/pulls
Discussions https://github.com/UnitTestBot/UTBotJava/discussions
Actions https://github.com/UnitTestBot/UTBotJava/actions
Projects 1 https://github.com/UnitTestBot/UTBotJava/projects
Wiki https://github.com/UnitTestBot/UTBotJava/wiki
Security 0 https://github.com/UnitTestBot/UTBotJava/security
Insights https://github.com/UnitTestBot/UTBotJava/pulse
Code https://github.com/UnitTestBot/UTBotJava
Issues https://github.com/UnitTestBot/UTBotJava/issues
Pull requests https://github.com/UnitTestBot/UTBotJava/pulls
Discussions https://github.com/UnitTestBot/UTBotJava/discussions
Actions https://github.com/UnitTestBot/UTBotJava/actions
Projects https://github.com/UnitTestBot/UTBotJava/projects
Wiki https://github.com/UnitTestBot/UTBotJava/wiki
Security https://github.com/UnitTestBot/UTBotJava/security
Insights https://github.com/UnitTestBot/UTBotJava/pulse
EgorkaKulikovhttps://github.com/EgorkaKulikov
mainhttps://github.com/UnitTestBot/UTBotJava/tree/main
usvmhttps://github.com/UnitTestBot/UTBotJava/tree/usvm
Conversationhttps://github.com/UnitTestBot/UTBotJava/pull/2710
Commits123 (123)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits
Checkshttps://github.com/UnitTestBot/UTBotJava/pull/2710/checks
Files changedhttps://github.com/UnitTestBot/UTBotJava/pull/2710/files
USVM to UtBot adapters without contest hackshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits#top
EgorkaKulikovhttps://github.com/EgorkaKulikov
mainhttps://github.com/UnitTestBot/UTBotJava/tree/main
usvmhttps://github.com/UnitTestBot/UTBotJava/tree/usvm
Introduce `Tool.USVM` in `ContestEstimator`, implement `runUsvmGeneration` (#2666)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/fc570eae3eaffed12671d0199f0629729266239b
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
fc570eahttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/fc570eae3eaffed12671d0199f0629729266239b
https://github.com/UnitTestBot/UTBotJava/tree/fc570eae3eaffed12671d0199f0629729266239b
Bump ksmt version to `0.5.13`https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/79cf54b682c3dbf9c127b11d5b5876025720eb31
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
79cf54bhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/79cf54b682c3dbf9c127b11d5b5876025720eb31
https://github.com/UnitTestBot/UTBotJava/tree/79cf54b682c3dbf9c127b11d5b5876025720eb31
Hacks similar to contest 2023 ones (#2676)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/d5cdd8af8b4fecf8a7255059f1999a290ad8a342
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
d5cdd8ahttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/d5cdd8af8b4fecf8a7255059f1999a290ad8a342
https://github.com/UnitTestBot/UTBotJava/tree/d5cdd8af8b4fecf8a7255059f1999a290ad8a342
Initial implementations of the adapter from JcExecution to UtExecution (#2677)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/092a27a58b2dae30d8debd5a750450dd04c2512d
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
092a27ahttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/092a27a58b2dae30d8debd5a750450dd04c2512d
https://github.com/UnitTestBot/UTBotJava/tree/092a27a58b2dae30d8debd5a750450dd04c2512d
Supporting arrays classId in Contests (#2680)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/31dd74d4d9b921dc8b985c6334bbdb10394f860c
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
31dd74dhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/31dd74d4d9b921dc8b985c6334bbdb10394f860c
https://github.com/UnitTestBot/UTBotJava/tree/31dd74d4d9b921dc8b985c6334bbdb10394f860c
Very simple UtAssembleModel improver (#2678)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/b2cb044d4281d649b53b0766b1984a3ae2b2a1c7
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
b2cb044https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/b2cb044d4281d649b53b0766b1984a3ae2b2a1c7
https://github.com/UnitTestBot/UTBotJava/tree/b2cb044d4281d649b53b0766b1984a3ae2b2a1c7
Fix class name argument in the setField method (#2681)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/3400a965afeb17a272cdd7579eb79a85a63f8164
https://github.com/tepa46
tepa46https://github.com/UnitTestBot/UTBotJava/commits?author=tepa46
3400a96https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/3400a965afeb17a272cdd7579eb79a85a63f8164
https://github.com/UnitTestBot/UTBotJava/tree/3400a965afeb17a272cdd7579eb79a85a63f8164
Fix test generation for nested classes (#2684)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/a11c3e998e2884b403028fbcc52285805bbf27a4
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
a11c3e9https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/a11c3e998e2884b403028fbcc52285805bbf27a4
https://github.com/UnitTestBot/UTBotJava/tree/a11c3e998e2884b403028fbcc52285805bbf27a4
Improver `UTestRunner` initialization and shutdown (#2683)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/27886303236f774891da9e72206eb5186c1e818f
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
2788630https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/27886303236f774891da9e72206eb5186c1e818f
https://github.com/UnitTestBot/UTBotJava/tree/27886303236f774891da9e72206eb5186c1e818f
Add summarization for usvm-sbft (#2682)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/62aa5b076cbb0f88aafc650bba991ed1ce27a748
https://github.com/tepa46
tepa46https://github.com/UnitTestBot/UTBotJava/commits?author=tepa46
62aa5b0https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/62aa5b076cbb0f88aafc650bba991ed1ce27a748
https://github.com/UnitTestBot/UTBotJava/tree/62aa5b076cbb0f88aafc650bba991ed1ce27a748
Use usvm samples instead of UtBot ones (#2685)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/0a9003dbdece31e2ac4abce357bcbc7df0b5046c
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
0a9003dhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/0a9003dbdece31e2ac4abce357bcbc7df0b5046c
https://github.com/UnitTestBot/UTBotJava/tree/0a9003dbdece31e2ac4abce357bcbc7df0b5046c
Fix fieldId creation for UtCompositeModel (#2686)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/b40f0f3d8a587f98e070db15aff90ad61c9a3c82
https://github.com/tepa46
tepa46https://github.com/UnitTestBot/UTBotJava/commits?author=tepa46
b40f0f3https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/b40f0f3d8a587f98e070db15aff90ad61c9a3c82
https://github.com/UnitTestBot/UTBotJava/tree/b40f0f3d8a587f98e070db15aff90ad61c9a3c82
A tempopary hack for void TypeName processinghttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/629983c6314b83c02d238fb0e2621006c12b7c47
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
629983chttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/629983c6314b83c02d238fb0e2621006c12b7c47
https://github.com/UnitTestBot/UTBotJava/tree/629983c6314b83c02d238fb0e2621006c12b7c47
A proper solution for void TypeName processinghttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/1d974f7e3a389852f71d90e6ed7b8ae76fc83346
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
1d974f7https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/1d974f7e3a389852f71d90e6ed7b8ae76fc83346
https://github.com/UnitTestBot/UTBotJava/tree/1d974f7e3a389852f71d90e6ed7b8ae76fc83346
Add all arrays as test classes for convertershttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/2b6ff8967f9dae8e9a72a2aa9aad153f3d36494c
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
2b6ff89https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/2b6ff8967f9dae8e9a72a2aa9aad153f3d36494c
https://github.com/UnitTestBot/UTBotJava/tree/2b6ff8967f9dae8e9a72a2aa9aad153f3d36494c
Add samples from typeshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5b0e8dd7695a69c3d1a4cff5d4ce8d8caca9519d
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
5b0e8ddhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5b0e8dd7695a69c3d1a4cff5d4ce8d8caca9519d
https://github.com/UnitTestBot/UTBotJava/tree/5b0e8dd7695a69c3d1a4cff5d4ce8d8caca9519d
Add samples from ternaryhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/f38dae074c2c3636290d5b356ba3de29560fa37d
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
f38dae0https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/f38dae074c2c3636290d5b356ba3de29560fa37d
https://github.com/UnitTestBot/UTBotJava/tree/f38dae074c2c3636290d5b356ba3de29560fa37d
Add processing of usvmExistingButNullString (#2689)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/3080413aee4d2cd0c416dbbffa12da9e9c9b957e
https://github.com/tepa46
tepa46https://github.com/UnitTestBot/UTBotJava/commits?author=tepa46
3080413https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/3080413aee4d2cd0c416dbbffa12da9e9c9b957e
https://github.com/UnitTestBot/UTBotJava/tree/3080413aee4d2cd0c416dbbffa12da9e9c9b957e
Fix classloader problem and correct class lists (exclude missing classes & classes compiled with Java 17)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/26d9901a3d1610b71ab9b9814229fc01f700082c
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
26d9901https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/26d9901a3d1610b71ab9b9814229fc01f700082c
https://github.com/UnitTestBot/UTBotJava/tree/26d9901a3d1610b71ab9b9814229fc01f700082c
Include usvm via GitHub packages (#2687)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/89045853892b6f287a15de124d697b75184a15ea
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
8904585https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/89045853892b6f287a15de124d697b75184a15ea
https://github.com/UnitTestBot/UTBotJava/tree/89045853892b6f287a15de124d697b75184a15ea
Upgrade usvm versionhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9869eb08bb9bf66009227f1bbd6761e0c326e218
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
9869eb0https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9869eb08bb9bf66009227f1bbd6761e0c326e218
https://github.com/UnitTestBot/UTBotJava/tree/9869eb08bb9bf66009227f1bbd6761e0c326e218
Add invokes into sampleshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/1362ac7869afb2a2ae80ce2c6ac570d345ca769b
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
1362ac7https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/1362ac7869afb2a2ae80ce2c6ac570d345ca769b
https://github.com/UnitTestBot/UTBotJava/tree/1362ac7869afb2a2ae80ce2c6ac570d345ca769b
Add several new classes to samples - Yuri said that it is enoughhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/c365a7acf03a815449e25f36c24e289e53cd1bca
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
c365a7ahttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/c365a7acf03a815449e25f36c24e289e53cd1bca
https://github.com/UnitTestBot/UTBotJava/tree/c365a7acf03a815449e25f36c24e289e53cd1bca
Fix enum converter and add sample from enumshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/7429dc9216294bd79c116027953ab0728d47d0b2
https://github.com/tepa46
tepa46https://github.com/UnitTestBot/UTBotJava/commits?author=tepa46
7429dc9https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/7429dc9216294bd79c116027953ab0728d47d0b2
https://github.com/UnitTestBot/UTBotJava/tree/7429dc9216294bd79c116027953ab0728d47d0b2
Remove non-relevant TODOhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9bb144aca8a48fcb7843dd94b7db3dc855107f42
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
9bb144ahttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9bb144aca8a48fcb7843dd94b7db3dc855107f42
https://github.com/UnitTestBot/UTBotJava/tree/9bb144aca8a48fcb7843dd94b7db3dc855107f42
Improve `UTestValueDescriptor` to `UtModel` conversion and state change asserts generation (#2691)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/6e6c378f0b556389abbd71c7445a2b22b987f7aa
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
6e6c378https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/6e6c378f0b556389abbd71c7445a2b22b987f7aa
https://github.com/UnitTestBot/UTBotJava/tree/6e6c378f0b556389abbd71c7445a2b22b987f7aa
Update usvm versionhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5084e02d4df9d91d296bb1a90da069a772bc13bf
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
5084e02https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5084e02d4df9d91d296bb1a90da069a772bc13bf
https://github.com/UnitTestBot/UTBotJava/tree/5084e02d4df9d91d296bb1a90da069a772bc13bf
Fix `constructConstArrayModelMapper` for empty arrayshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/ae1cdcf187f4800d4200acbe64db7c12b82ebf32
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
ae1cdcfhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/ae1cdcf187f4800d4200acbe64db7c12b82ebf32
https://github.com/UnitTestBot/UTBotJava/tree/ae1cdcf187f4800d4200acbe64db7c12b82ebf32
Remove non-relevant TODOhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/b74f3c84917b2648c2ecd9326566b3982d7216c7
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
b74f3c8https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/b74f3c84917b2648c2ecd9326566b3982d7216c7
https://github.com/UnitTestBot/UTBotJava/tree/b74f3c84917b2648c2ecd9326566b3982d7216c7
Use jacodb with `classpathWithApproximations`https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5429647d0fb0a09783518033b80db8b56efb5500
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
5429647https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5429647d0fb0a09783518033b80db8b56efb5500
https://github.com/UnitTestBot/UTBotJava/tree/5429647d0fb0a09783518033b80db8b56efb5500
Reduce concrete execution timeout to 1 secondhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/96993d9f17eef6309e29a757f2468d6fb50f0322
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
96993d9https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/96993d9f17eef6309e29a757f2468d6fb50f0322
https://github.com/UnitTestBot/UTBotJava/tree/96993d9f17eef6309e29a757f2468d6fb50f0322
Remove redundant TODOhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e8a30d7d336999cb6a32c07d8bf6a708f1d20a73
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
e8a30d7https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e8a30d7d336999cb6a32c07d8bf6a708f1d20a73
https://github.com/UnitTestBot/UTBotJava/tree/e8a30d7d336999cb6a32c07d8bf6a708f1d20a73
Replace generics with bounds when converting to ut modelshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/ab0a529a94708a78da429aa856d5bb26cb9ae7de
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
ab0a529https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/ab0a529a94708a78da429aa856d5bb26cb9ae7de
https://github.com/UnitTestBot/UTBotJava/tree/ab0a529a94708a78da429aa856d5bb26cb9ae7de
Correct JacoDb classpathhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/75cd001adef7008e067f6ab7b0ccd2cbe4e8ec65
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
75cd001https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/75cd001adef7008e067f6ab7b0ccd2cbe4e8ec65
https://github.com/UnitTestBot/UTBotJava/tree/75cd001adef7008e067f6ab7b0ccd2cbe4e8ec65
Correct JacoDb classpathhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/eaf85e98dcf6d6f9818beea084e1c4a83c652ec2
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
eaf85e9https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/eaf85e98dcf6d6f9818beea084e1c4a83c652ec2
https://github.com/UnitTestBot/UTBotJava/tree/eaf85e98dcf6d6f9818beea084e1c4a83c652ec2
Update jacodb (#2694)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/273335e303a40afe428edacb9a84d7d65d878c3f
https://github.com/Damtev
Damtevhttps://github.com/UnitTestBot/UTBotJava/commits?author=Damtev
273335ehttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/273335e303a40afe428edacb9a84d7d65d878c3f
https://github.com/UnitTestBot/UTBotJava/tree/273335e303a40afe428edacb9a84d7d65d878c3f
Update approximations versionhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/22e577b2275b1ebed85d7ed5e75a5f1759a46660
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
22e577bhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/22e577b2275b1ebed85d7ed5e75a5f1759a46660
https://github.com/UnitTestBot/UTBotJava/tree/22e577b2275b1ebed85d7ed5e75a5f1759a46660
Update usvm versionhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9bbb24c12fde6aa4ea207033fb17387e9e18a6fc
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
9bbb24chttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9bbb24c12fde6aa4ea207033fb17387e9e18a6fc
https://github.com/UnitTestBot/UTBotJava/tree/9bbb24c12fde6aa4ea207033fb17387e9e18a6fc
Make JcMachine's budget distributing strategy and refactor (#2695)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/623a94fd4f3fc3bb802f10269e30631b0c44ce37
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
623a94fhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/623a94fd4f3fc3bb802f10269e30631b0c44ce37
https://github.com/UnitTestBot/UTBotJava/tree/623a94fd4f3fc3bb802f10269e30631b0c44ce37
SBFT'24 An attempt to support UTestGlobalMock in converters (#2690)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/65dd727daab9243821f3a5436fc3e145c08299a1
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
65dd727https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/65dd727daab9243821f3a5436fc3e145c08299a1
https://github.com/UnitTestBot/UTBotJava/tree/65dd727daab9243821f3a5436fc3e145c08299a1
Introduce and use `JcMachine.analyzeAsync` in `ContestUsvm` (#2696)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/26751a5f1804d7b0b2b7d6c70723522e08d32164
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
26751a5https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/26751a5f1804d7b0b2b7d6c70723522e08d32164
https://github.com/UnitTestBot/UTBotJava/tree/26751a5f1804d7b0b2b7d6c70723522e08d32164
Make USVM descriptor to UtModel cache consider state kind (initial or final) (#2697)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/7ed6b08d84dea39037b090dd34b30bf43c043910
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
7ed6b08https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/7ed6b08d84dea39037b090dd34b30bf43c043910
https://github.com/UnitTestBot/UTBotJava/tree/7ed6b08d84dea39037b090dd34b30bf43c043910
Update gradle script to run tests properlyhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5d3ad213930708446b78fc5812db455f7dc10ad4
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
5d3ad21https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5d3ad213930708446b78fc5812db455f7dc10ad4
https://github.com/UnitTestBot/UTBotJava/tree/5d3ad213930708446b78fc5812db455f7dc10ad4
Update usvm versionhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/208aad4743001189146f3e5c33b682f8e54a35e0
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
208aad4https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/208aad4743001189146f3e5c33b682f8e54a35e0
https://github.com/UnitTestBot/UTBotJava/tree/208aad4743001189146f3e5c33b682f8e54a35e0
Remove strange hack to discuss laterhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e0f70800606659fbdda2e29ffa37d6cc59c944b1
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
e0f7080https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e0f70800606659fbdda2e29ffa37d6cc59c944b1
https://github.com/UnitTestBot/UTBotJava/tree/e0f70800606659fbdda2e29ffa37d6cc59c944b1
Add support for correct generation of inner testshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/272ebbebc479617880ca7d3763af525875758f58
https://github.com/tepa46
tepa46https://github.com/UnitTestBot/UTBotJava/commits?author=tepa46
272ebbehttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/272ebbebc479617880ca7d3763af525875758f58
https://github.com/UnitTestBot/UTBotJava/tree/272ebbebc479617880ca7d3763af525875758f58
Update usvm versionhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/0a3db6a0cbe666710b42a7c4743071066d58e13e
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
0a3db6ahttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/0a3db6a0cbe666710b42a7c4743071066d58e13e
https://github.com/UnitTestBot/UTBotJava/tree/0a3db6a0cbe666710b42a7c4743071066d58e13e
Avoid set fields not present in `UTest` (for `UtCompositeModel`) (#2698)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/0eaf9ac98e1ed8a37fa86125dd071cbd5a489ce4
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
0eaf9achttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/0eaf9ac98e1ed8a37fa86125dd071cbd5a489ce4
https://github.com/UnitTestBot/UTBotJava/tree/0eaf9ac98e1ed8a37fa86125dd071cbd5a489ce4
Use classpathWithApproximationshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/ac667bb0ba7dc20dfc7ca8495d55cdab1d9c5b18
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
ac667bbhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/ac667bb0ba7dc20dfc7ca8495d55cdab1d9c5b18
https://github.com/UnitTestBot/UTBotJava/tree/ac667bb0ba7dc20dfc7ca8495d55cdab1d9c5b18
Fix bug in `assertEquals` for `String` in codegenhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/405444f139cee807be5f050ebd8076d2b36c2da8
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
405444fhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/405444f139cee807be5f050ebd8076d2b36c2da8
https://github.com/UnitTestBot/UTBotJava/tree/405444f139cee807be5f050ebd8076d2b36c2da8
Add timeout execution conversionhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/4362bd27f13a6b898af1c87b7660803778079f7b
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
4362bd2https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/4362bd27f13a6b898af1c87b7660803778079f7b
https://github.com/UnitTestBot/UTBotJava/tree/4362bd27f13a6b898af1c87b7660803778079f7b
Improve logging time spent on concrete and conversionhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/a365f4e8f7609ab4051be7d93250b7394280debd
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
a365f4ehttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/a365f4e8f7609ab4051be7d93250b7394280debd
https://github.com/UnitTestBot/UTBotJava/tree/a365f4e8f7609ab4051be7d93250b7394280debd
Make logger group repeated exceptions (e.g. "(x100) message")https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/d7134b744309536b739636a1fd040475f93add34
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
d7134b7https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/d7134b744309536b739636a1fd040475f93add34
https://github.com/UnitTestBot/UTBotJava/tree/d7134b744309536b739636a1fd040475f93add34
Better log `JcType.classId` failshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/f523512d08e4ac15c7fd4929371fd6fe80e38e87
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
f523512https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/f523512d08e4ac15c7fd4929371fd6fe80e38e87
https://github.com/UnitTestBot/UTBotJava/tree/f523512d08e4ac15c7fd4929371fd6fe80e38e87
Add notice about `usvmVersion` being outdatedhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5c82e577228fde9af3ca84054089ed62195c48cc
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
5c82e57https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5c82e577228fde9af3ca84054089ed62195c48cc
https://github.com/UnitTestBot/UTBotJava/tree/5c82e577228fde9af3ca84054089ed62195c48cc
Actualise `JcTestExecutor`https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/d25e3bbf4a9d70d00884570a0b917639976352a7
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
d25e3bbhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/d25e3bbf4a9d70d00884570a0b917639976352a7
https://github.com/UnitTestBot/UTBotJava/tree/d25e3bbf4a9d70d00884570a0b917639976352a7
Update usvm versionhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/a751085e74c8eb099c34de1cd909a038c43da14d
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
a751085https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/a751085e74c8eb099c34de1cd909a038c43da14d
https://github.com/UnitTestBot/UTBotJava/tree/a751085e74c8eb099c34de1cd909a038c43da14d
Fix invalid `UTestCyclicReferenceDescriptor`https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/dd5176fc146e2cdb496d8adc67bfde5dabeb1acb
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
dd5176fhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/dd5176fc146e2cdb496d8adc67bfde5dabeb1acb
https://github.com/UnitTestBot/UTBotJava/tree/dd5176fc146e2cdb496d8adc67bfde5dabeb1acb
Automatically remove uncompilable test methods (#2699)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/1cc84fd38bd5ef5dac5b6850d10dd2b02eca8e76
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
1cc84fdhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/1cc84fd38bd5ef5dac5b6850d10dd2b02eca8e76
https://github.com/UnitTestBot/UTBotJava/tree/1cc84fd38bd5ef5dac5b6850d10dd2b02eca8e76
Update path selector strategyhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/7f1c3a8cd22426ea1c9a683db3ea7d8a29b058ff
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
7f1c3a8https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/7f1c3a8cd22426ea1c9a683db3ea7d8a29b058ff
https://github.com/UnitTestBot/UTBotJava/tree/7f1c3a8cd22426ea1c9a683db3ea7d8a29b058ff
Add a copy of https://github.com/UnitTestBot/UTBotJava/pull/2627 into competitions branchhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/7b58a17de5f8fd3a72f60170cb2d03bcdbfe6b4c
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
7b58a17https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/7b58a17de5f8fd3a72f60170cb2d03bcdbfe6b4c
https://github.com/UnitTestBot/UTBotJava/tree/7b58a17de5f8fd3a72f60170cb2d03bcdbfe6b4c
Update approximations versionhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9eadf926aba0284425f43857be13d00915fdb49e
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
9eadf92https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9eadf926aba0284425f43857be13d00915fdb49e
https://github.com/UnitTestBot/UTBotJava/tree/9eadf926aba0284425f43857be13d00915fdb49e
Use symbolic result instead of concrete if it is better (#2700)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9f4af0ba2ea57e7813e62503248cda0f0b1f9f74
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
9f4af0bhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9f4af0ba2ea57e7813e62503248cda0f0b1f9f74
https://github.com/UnitTestBot/UTBotJava/tree/9f4af0ba2ea57e7813e62503248cda0f0b1f9f74
Avoid class initialization when we evaluate ClassIdhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/62f25ad41446d3291934c3a12d7f28952003a17c
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
62f25adhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/62f25ad41446d3291934c3a12d7f28952003a17c
https://github.com/UnitTestBot/UTBotJava/tree/62f25ad41446d3291934c3a12d7f28952003a17c
Revert "Avoid class initialization when we evaluate ClassId"https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/2d09b02d342bd8dfcd7587f21261f4b4f16aec13
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
2d09b02https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/2d09b02d342bd8dfcd7587f21261f4b4f16aec13
https://github.com/UnitTestBot/UTBotJava/tree/2d09b02d342bd8dfcd7587f21261f4b4f16aec13
Avoid class initialization when we evaluate ClassIdhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/bae5664b21bc24d7c74040d77fc75894a50c8bd2
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
bae5664https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/bae5664b21bc24d7c74040d77fc75894a50c8bd2
https://github.com/UnitTestBot/UTBotJava/tree/bae5664b21bc24d7c74040d77fc75894a50c8bd2
Create mocks in output values (#2701)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/dff543078a2f87cd4d9cbc271bef7a391a2e2d8a
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
dff5430https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/dff543078a2f87cd4d9cbc271bef7a391a2e2d8a
https://github.com/UnitTestBot/UTBotJava/tree/dff543078a2f87cd4d9cbc271bef7a391a2e2d8a
Update versionshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e1c9d2a712768137930ce9fa8a044c4b43efbcf9
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
e1c9d2ahttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e1c9d2a712768137930ce9fa8a044c4b43efbcf9
https://github.com/UnitTestBot/UTBotJava/tree/e1c9d2a712768137930ce9fa8a044c4b43efbcf9
Update usvm versionhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/329eb6f378523ecf68e3e2ba8c957811594101c3
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
329eb6fhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/329eb6f378523ecf68e3e2ba8c957811594101c3
https://github.com/UnitTestBot/UTBotJava/tree/329eb6f378523ecf68e3e2ba8c957811594101c3
Workaround to deal with `UTestMethodCall` where `instance` is a mockhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/6702aecf7e85af37fab1d27ab27dc12f6deb8af9
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
6702aechttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/6702aecf7e85af37fab1d27ab27dc12f6deb8af9
https://github.com/UnitTestBot/UTBotJava/tree/6702aecf7e85af37fab1d27ab27dc12f6deb8af9
Solver type changedhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/3844378af29669af9b78bfbdb5530d101af192a8
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
3844378https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/3844378af29669af9b78bfbdb5530d101af192a8
https://github.com/UnitTestBot/UTBotJava/tree/3844378af29669af9b78bfbdb5530d101af192a8
Handle `UTestSetFieldStatement` where `instance` is a mockhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/1f24d07d6df538df12fb9bca5c7118607550a689
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
1f24d07https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/1f24d07d6df538df12fb9bca5c7118607550a689
https://github.com/UnitTestBot/UTBotJava/tree/1f24d07d6df538df12fb9bca5c7118607550a689
Hack for Random mocks (#2702)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/4fa518e7f09bc0dfa9717659352bbbf2ff3c23ca
https://github.com/Damtev
Damtevhttps://github.com/UnitTestBot/UTBotJava/commits?author=Damtev
4fa518ehttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/4fa518e7f09bc0dfa9717659352bbbf2ff3c23ca
https://github.com/UnitTestBot/UTBotJava/tree/4fa518e7f09bc0dfa9717659352bbbf2ff3c23ca
Add cast when `mock()` is called on anonymous class (e.g. `(CaseFormat) mock(Class.forName("com.google.common.base.CaseFormat$3"))`)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/bef38932e4c632d2f3a819cf73101469dd0fe730
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
bef3893https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/bef38932e4c632d2f3a819cf73101469dd0fe730
https://github.com/UnitTestBot/UTBotJava/tree/bef38932e4c632d2f3a819cf73101469dd0fe730
Improve logging for `JcField.fieldId` failureshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/ae79171cef1cdc4aa29bf0b3865b8fa0c83c0e05
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
ae79171https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/ae79171cef1cdc4aa29bf0b3865b8fa0c83c0e05
https://github.com/UnitTestBot/UTBotJava/tree/ae79171cef1cdc4aa29bf0b3865b8fa0c83c0e05
Update approximations versionhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9bb4e1a72dc9ff21631fe8505756ab281b499a94
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
9bb4e1ahttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9bb4e1a72dc9ff21631fe8505756ab281b499a94
https://github.com/UnitTestBot/UTBotJava/tree/9bb4e1a72dc9ff21631fe8505756ab281b499a94
jc-test-resolver: better handling of strings and classes, class constantshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/f2c47e0a63d324dfbc1d768324dc98afa2ef25f5
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
f2c47e0https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/f2c47e0a63d324dfbc1d768324dc98afa2ef25f5
https://github.com/UnitTestBot/UTBotJava/tree/f2c47e0a63d324dfbc1d768324dc98afa2ef25f5
Update lists as in benchmarkhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/29cd67ab73fed9c984dbeac6686436f09a46ded5
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
29cd67ahttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/29cd67ab73fed9c984dbeac6686436f09a46ded5
https://github.com/UnitTestBot/UTBotJava/tree/29cd67ab73fed9c984dbeac6686436f09a46ded5
Fallback to symbolic result when `runner.executeAsync()` throws exceptionhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e63ba23412a1cac22ee5631d95abb62c8f09c10e
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
e63ba23https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e63ba23412a1cac22ee5631d95abb62c8f09c10e
https://github.com/UnitTestBot/UTBotJava/tree/e63ba23412a1cac22ee5631d95abb62c8f09c10e
Fix the listhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/8c206e641b5d5a543ef504c1dc52918da33cfad4
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
8c206e6https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/8c206e641b5d5a543ef504c1dc52918da33cfad4
https://github.com/UnitTestBot/UTBotJava/tree/8c206e641b5d5a543ef504c1dc52918da33cfad4
Fallback to symbolic result when `jcToUtExecutionConverter.convert` throws exception due to incomplete concrete resulthttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/41421566ae4c00e73b38da25b6a24b02b42cee56
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
4142156https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/41421566ae4c00e73b38da25b6a24b02b42cee56
https://github.com/UnitTestBot/UTBotJava/tree/41421566ae4c00e73b38da25b6a24b02b42cee56
Fix codegen for `String(char[])` calls (use string literals when possible)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/b492606253ea60fb40b7b1c7067a9a9a665ea45e
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
b492606https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/b492606253ea60fb40b7b1c7067a9a9a665ea45e
https://github.com/UnitTestBot/UTBotJava/tree/b492606253ea60fb40b7b1c7067a9a9a665ea45e
Ignore static fields in `UTestObjectDescriptor`https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/c2d693b8a8db4c4b594ea01e1b94140dc1746011
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
c2d693bhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/c2d693b8a8db4c4b594ea01e1b94140dc1746011
https://github.com/UnitTestBot/UTBotJava/tree/c2d693b8a8db4c4b594ea01e1b94140dc1746011
Usvm competitions 2024: jacodb persistence (#2703)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/64b1e18675c0973fc18f79156c177ef2665223d7
https://github.com/Saloed
Saloedhttps://github.com/UnitTestBot/UTBotJava/commits?author=Saloed
64b1e18https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/64b1e18675c0973fc18f79156c177ef2665223d7
https://github.com/UnitTestBot/UTBotJava/tree/64b1e18675c0973fc18f79156c177ef2665223d7
Usvm distribution for the contest (#2704)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5b4617158eaea061adb3d1ca00fa03a801f21fc0
https://github.com/Saloed
Saloedhttps://github.com/UnitTestBot/UTBotJava/commits?author=Saloed
5b46171https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5b4617158eaea061adb3d1ca00fa03a801f21fc0
https://github.com/UnitTestBot/UTBotJava/tree/5b4617158eaea061adb3d1ca00fa03a801f21fc0
Add types sortinghttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/c7ff5cd509e463524c7a1299554d56d32108d7ed
https://github.com/sergeypospelov
sergeypospelovhttps://github.com/UnitTestBot/UTBotJava/commits?author=sergeypospelov
c7ff5cdhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/c7ff5cd509e463524c7a1299554d56d32108d7ed
https://github.com/UnitTestBot/UTBotJava/tree/c7ff5cd509e463524c7a1299554d56d32108d7ed
Drop crashed executions (#2705)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/08234e28ef6cb0a3896879e3ddd457d487f701e0
https://github.com/Damtev
Damtevhttps://github.com/UnitTestBot/UTBotJava/commits?author=Damtev
08234e2https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/08234e28ef6cb0a3896879e3ddd457d487f701e0
https://github.com/UnitTestBot/UTBotJava/tree/08234e28ef6cb0a3896879e3ddd457d487f701e0
Fix classpath (#2706)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/c8665bc6ea0f3c3ee04c783297bb6ac317a69516
https://github.com/Saloed
Saloedhttps://github.com/UnitTestBot/UTBotJava/commits?author=Saloed
c8665bchttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/c8665bc6ea0f3c3ee04c783297bb6ac317a69516
https://github.com/UnitTestBot/UTBotJava/tree/c8665bc6ea0f3c3ee04c783297bb6ac317a69516
Avoid `` call in `JcField.fieldId`https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/2086f5b527064fa776d85d4f95bfb1c4e93b7dee
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
2086f5bhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/2086f5b527064fa776d85d4f95bfb1c4e93b7dee
https://github.com/UnitTestBot/UTBotJava/tree/2086f5b527064fa776d85d4f95bfb1c4e93b7dee
Add timeout for all test with exceptionshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/2933a0cc3a593846e9fa0eb6a590bde86d54922f
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
2933a0chttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/2933a0cc3a593846e9fa0eb6a590bde86d54922f
https://github.com/UnitTestBot/UTBotJava/tree/2933a0cc3a593846e9fa0eb6a590bde86d54922f
Removed Soot initialization (#2707)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/69c273f63e2688f16527407e342dfb054c6a49d9
https://github.com/Damtev
Damtevhttps://github.com/UnitTestBot/UTBotJava/commits?author=Damtev
69c273fhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/69c273f63e2688f16527407e342dfb054c6a49d9
https://github.com/UnitTestBot/UTBotJava/tree/69c273f63e2688f16527407e342dfb054c6a49d9
Update usvm versionhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/84d9325fa913bcd1840a91ddb6222e3dad748645
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
84d9325https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/84d9325fa913bcd1840a91ddb6222e3dad748645
https://github.com/UnitTestBot/UTBotJava/tree/84d9325fa913bcd1840a91ddb6222e3dad748645
Remove irrelevant requirehttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/693c54f390d086e47ebad1e67b95842b252cb6bf
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
693c54fhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/693c54f390d086e47ebad1e67b95842b252cb6bf
https://github.com/UnitTestBot/UTBotJava/tree/693c54f390d086e47ebad1e67b95842b252cb6bf
Initialize JacoDB and stat executor before starting contest, stop caching machine (#2708)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/acc247345f8dcebe1cbdc274cbb29d510e39bf72
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
acc2473https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/acc247345f8dcebe1cbdc274cbb29d510e39bf72
https://github.com/UnitTestBot/UTBotJava/tree/acc247345f8dcebe1cbdc274cbb29d510e39bf72
Updated usvm versionhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5503f43ede037b732bfad0d0f7fc2ec5e0e16d01
https://github.com/Damtev
Damtevhttps://github.com/UnitTestBot/UTBotJava/commits?author=Damtev
5503f43https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5503f43ede037b732bfad0d0f7fc2ec5e0e16d01
https://github.com/UnitTestBot/UTBotJava/tree/5503f43ede037b732bfad0d0f7fc2ec5e0e16d01
Add `maxUnknownCoverageExecutionsPerMethodPerResultType` to `settings.properties`https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/2a8f63992e30f7ff4f6c90ba19be3218c5217628
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
2a8f639https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/2a8f63992e30f7ff4f6c90ba19be3218c5217628
https://github.com/UnitTestBot/UTBotJava/tree/2a8f63992e30f7ff4f6c90ba19be3218c5217628
Update Z3 native files paths to work with ksmt 0.5.13https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/648fcccd13f5de9961a3519ec6fd7f2646d63490
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
648fccchttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/648fcccd13f5de9961a3519ec6fd7f2646d63490
https://github.com/UnitTestBot/UTBotJava/tree/648fcccd13f5de9961a3519ec6fd7f2646d63490
Update RD in all projectshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/488e80e851dfc1599bbdeb1e2f09545ba6821a1a
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
488e80ehttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/488e80e851dfc1599bbdeb1e2f09545ba6821a1a
https://github.com/UnitTestBot/UTBotJava/tree/488e80e851dfc1599bbdeb1e2f09545ba6821a1a
Update Run IDEA task to use :utbot-intellij-mainhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/f4458bb5939463197250c9bf54825176d230d1b9
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
f4458bbhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/f4458bb5939463197250c9bf54825176d230d1b9
https://github.com/UnitTestBot/UTBotJava/tree/f4458bb5939463197250c9bf54825176d230d1b9
Complete most `usvm-sbft-merge` TODOshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/f76c6feed23c0ad3b4274fbadf4c2b770620ca58
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
f76c6fehttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/f76c6feed23c0ad3b4274fbadf4c2b770620ca58
https://github.com/UnitTestBot/UTBotJava/tree/f76c6feed23c0ad3b4274fbadf4c2b770620ca58
Uncomment `include`s for `intellij` projects in `settings.gradle.kts`https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/515ce1bbc057ac75fd37613d08cbefe91918310d
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
515ce1bhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/515ce1bbc057ac75fd37613d08cbefe91918310d
https://github.com/UnitTestBot/UTBotJava/tree/515ce1bbc057ac75fd37613d08cbefe91918310d
Add `addTestMethodMarkers` ut settinghttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/87e83840fd9e0cd45ff4c07cf76a2536df629597
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
87e8384https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/87e83840fd9e0cd45ff4c07cf76a2536df629597
https://github.com/UnitTestBot/UTBotJava/tree/87e83840fd9e0cd45ff4c07cf76a2536df629597
Revert contest hackshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/d18ff8573ab9cfdfe8efb3e2adb9d80fe7609abc
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
d18ff85https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/d18ff8573ab9cfdfe8efb3e2adb9d80fe7609abc
https://github.com/UnitTestBot/UTBotJava/tree/d18ff8573ab9cfdfe8efb3e2adb9d80fe7609abc
Make contest use `Tool.UtBot` by defaulthttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/aa86d554fdfb706a30ee840c57173331505847f4
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/UnitTestBot/UTBotJava/commits?author=IlyaMuravjov
aa86d55https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/aa86d554fdfb706a30ee840c57173331505847f4
https://github.com/UnitTestBot/UTBotJava/tree/aa86d554fdfb706a30ee840c57173331505847f4
Update tool settings for summaryhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/79d5daa74431c56ebe600a5ecb15dafb31a4ef97
https://github.com/tepa46
tepa46https://github.com/UnitTestBot/UTBotJava/commits?author=tepa46
79d5daahttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/79d5daa74431c56ebe600a5ecb15dafb31a4ef97
https://github.com/UnitTestBot/UTBotJava/tree/79d5daa74431c56ebe600a5ecb15dafb31a4ef97
Update gradle properties in yml scriptshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/d14032a220fed924be14f5dbaedf64aab9412e52
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
d14032ahttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/d14032a220fed924be14f5dbaedf64aab9412e52
https://github.com/UnitTestBot/UTBotJava/tree/d14032a220fed924be14f5dbaedf64aab9412e52
Temporary credshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/6bdd3c95032894b9eb0784185ea78d959fb25f39
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
6bdd3c9https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/6bdd3c95032894b9eb0784185ea78d959fb25f39
https://github.com/UnitTestBot/UTBotJava/tree/6bdd3c95032894b9eb0784185ea78d959fb25f39
Revert temporary credshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9689766172cc0284ef50965fe5a7b19d9c97eec9
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
9689766https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9689766172cc0284ef50965fe5a7b19d9c97eec9
https://github.com/UnitTestBot/UTBotJava/tree/9689766172cc0284ef50965fe5a7b19d9c97eec9
Some todos in TestFrameworkManagerhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/6226fbb4ecf579e986af03b42012ba4882aeb67a
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
6226fbbhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/6226fbb4ecf579e986af03b42012ba4882aeb67a
https://github.com/UnitTestBot/UTBotJava/tree/6226fbb4ecf579e986af03b42012ba4882aeb67a
bissquit: configure debug envhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/17dc5d97611136af25e3179d0e97597fe6b8725a
17dc5d9https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/17dc5d97611136af25e3179d0e97597fe6b8725a
https://github.com/UnitTestBot/UTBotJava/tree/17dc5d97611136af25e3179d0e97597fe6b8725a
Merge branch 'usvm' of https://github.com/UnitTestBot/UTBotJava into usvmhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/806127d2a8e2ddffcc8d985075a1b3783403c1bb
806127dhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/806127d2a8e2ddffcc8d985075a1b3783403c1bb
https://github.com/UnitTestBot/UTBotJava/tree/806127d2a8e2ddffcc8d985075a1b3783403c1bb
add pers tokenhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/2b88b44522162520c059af01abacfa474f33f642
2b88b44https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/2b88b44522162520c059af01abacfa474f33f642
https://github.com/UnitTestBot/UTBotJava/tree/2b88b44522162520c059af01abacfa474f33f642
add secrethttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e7b912a8e640d5e05fcd7594debc8472ba2c6b75
e7b912ahttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e7b912a8e640d5e05fcd7594debc8472ba2c6b75
https://github.com/UnitTestBot/UTBotJava/tree/e7b912a8e640d5e05fcd7594debc8472ba2c6b75
add token to all gradle runshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e97e076bb06c0e83e0269199a9a5b763dd2049ac
e97e076https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e97e076bb06c0e83e0269199a9a5b763dd2049ac
https://github.com/UnitTestBot/UTBotJava/tree/e97e076bb06c0e83e0269199a9a5b763dd2049ac
replace ro_token by github_tokenhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/844554d7f6881fef24cdc742acc00bdac12220aa
844554dhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/844554d7f6881fef24cdc742acc00bdac12220aa
https://github.com/UnitTestBot/UTBotJava/tree/844554d7f6881fef24cdc742acc00bdac12220aa
add permissionshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9f70211aae3e11a0755e5ab75c8c74e346f2e326
9f70211https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9f70211aae3e11a0755e5ab75c8c74e346f2e326
https://github.com/UnitTestBot/UTBotJava/tree/9f70211aae3e11a0755e5ab75c8c74e346f2e326
change to write permissionshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/3c45e8c997866a18ec0e1e6cb772696f368a8a0c
3c45e8chttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/3c45e8c997866a18ec0e1e6cb772696f368a8a0c
https://github.com/UnitTestBot/UTBotJava/tree/3c45e8c997866a18ec0e1e6cb772696f368a8a0c
return PACKAGES_RO_TOKEN varhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/6f9a8b297bce6f30eabb7c5965ccead713ace345
6f9a8b2https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/6f9a8b297bce6f30eabb7c5965ccead713ace345
https://github.com/UnitTestBot/UTBotJava/tree/6f9a8b297bce6f30eabb7c5965ccead713ace345
remove debughttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/fce45b3ced7adb9eecc96b054642baa3d78fafb9
fce45b3https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/fce45b3ced7adb9eecc96b054642baa3d78fafb9
https://github.com/UnitTestBot/UTBotJava/tree/fce45b3ced7adb9eecc96b054642baa3d78fafb9
Further update of yml scriptshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5f9403bffda980bbf00c6fac3691767078700fb8
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
5f9403bhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5f9403bffda980bbf00c6fac3691767078700fb8
https://github.com/UnitTestBot/UTBotJava/tree/5f9403bffda980bbf00c6fac3691767078700fb8
Merge branch 'usvm' of https://github.com/UnitTestBot/UTBotJava into usvmhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e5d3549c5d67aedbbf662fb226e5ede21e38544a
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
e5d3549https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e5d3549c5d67aedbbf662fb226e5ede21e38544a
https://github.com/UnitTestBot/UTBotJava/tree/e5d3549c5d67aedbbf662fb226e5ede21e38544a
Correct usvm version to fix compilationhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/fe8a7535853983ac4efd2527ac843ba42d8a63f4
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
fe8a753https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/fe8a7535853983ac4efd2527ac843ba42d8a63f4
https://github.com/UnitTestBot/UTBotJava/tree/fe8a7535853983ac4efd2527ac843ba42d8a63f4
Disable four testshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e896a309b357b80348fe5f4bf690fb000833653f
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/UnitTestBot/UTBotJava/commits?author=EgorkaKulikov
e896a30https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e896a309b357b80348fe5f4bf690fb000833653f
https://github.com/UnitTestBot/UTBotJava/tree/e896a309b357b80348fe5f4bf690fb000833653f
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.