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: 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...

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/_view_fragments/voltron/pull_requests/show/:user_id/:repository/:id/pull_request_layout(.:format)
route-controllervoltron_pull_requests_fragments
route-actionpull_request_layout
fetch-noncev2:309d4051-edc1-0b8f-0246-6beb42c108ba
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-id84BE:3E6BCE:79DDF0:A0D07C:698EC02F
html-safe-nonce9861b17637296fe4241adc4d810909e92ab97224f7f7e7d12f3bcf7ef176790c
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI4NEJFOjNFNkJDRTo3OURERjA6QTBEMDdDOjY5OEVDMDJGIiwidmlzaXRvcl9pZCI6IjUzMjM0Nzg2MzIxOTgyMjU5NjciLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmac14fb44c84f994e26a14dac73edda3cfef553c9f46a555506371df3f606c50c54
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///voltron/pull_requests_fragments/pull_request_layout
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/_view_fragments/voltron/pull_requests/show/UnitTestBot/UTBotJava/2710/pull_request_layout
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-preview
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#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fpull%2F2710
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
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%2Fvoltron%2Fpull_requests_fragments%2Fpull_request_layout&source=header-repo&source_repo=UnitTestBot%2FUTBotJava
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/2710
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/2710
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/2710
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
Sign up for GitHub https://github.com/signup?return_to=%2FUnitTestBot%2FUTBotJava%2Fissues%2Fnew%2Fchoose
terms of servicehttps://docs.github.com/terms
privacy statementhttps://docs.github.com/privacy
Sign inhttps://github.com/login?return_to=%2FUnitTestBot%2FUTBotJava%2Fissues%2Fnew%2Fchoose
Jump to bottomhttps://github.com/UnitTestBot/UTBotJava/pull/2710#issue-comment-box
EgorkaKulikovhttps://github.com/EgorkaKulikov
mainhttps://github.com/UnitTestBot/UTBotJava/tree/main
usvmhttps://github.com/UnitTestBot/UTBotJava/tree/usvm
USVM to UtBot adapters without contest hacks https://github.com/UnitTestBot/UTBotJava/pull/2710#top
EgorkaKulikovhttps://github.com/EgorkaKulikov
mainhttps://github.com/UnitTestBot/UTBotJava/tree/main
usvmhttps://github.com/UnitTestBot/UTBotJava/tree/usvm
Conversation 0 https://github.com/UnitTestBot/UTBotJava/pull/2710
Commits 123 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits
Checks 0 https://github.com/UnitTestBot/UTBotJava/pull/2710/checks
Files changed https://github.com/UnitTestBot/UTBotJava/pull/2710/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2710
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/{{ revealButtonHref }}
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/IlyaMuravjov
Dec 6, 2023https://github.com/UnitTestBot/UTBotJava/pull/2710#issue-2028985489
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2710
IlyaMuravjovhttps://github.com/IlyaMuravjov
November 1, 2023 14:21https://github.com/UnitTestBot/UTBotJava/pull/2710#commits-pushed-fc570ea
https://github.com/IlyaMuravjov
https://github.com/EgorkaKulikov
Introduce Tool.USVM in ContestEstimator, implement `runUsvmGenera…https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/fc570eae3eaffed12671d0199f0629729266239b
fc570eahttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/fc570eae3eaffed12671d0199f0629729266239b
#2666https://github.com/UnitTestBot/UTBotJava/pull/2666
https://github.com/IlyaMuravjov
Bump ksmt version to 0.5.13https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/79cf54b682c3dbf9c127b11d5b5876025720eb31
79cf54bhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/79cf54b682c3dbf9c127b11d5b5876025720eb31
https://github.com/EgorkaKulikov
Hacks similar to contest 2023 ones (https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/d5cdd8af8b4fecf8a7255059f1999a290ad8a342
#2676https://github.com/UnitTestBot/UTBotJava/pull/2676
)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/d5cdd8af8b4fecf8a7255059f1999a290ad8a342
d5cdd8ahttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/d5cdd8af8b4fecf8a7255059f1999a290ad8a342
https://github.com/EgorkaKulikov
https://github.com/IlyaMuravjov
Initial implementations of the adapter from JcExecution to UtExecution (https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/092a27a58b2dae30d8debd5a750450dd04c2512d
092a27ahttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/092a27a58b2dae30d8debd5a750450dd04c2512d
#2677https://github.com/UnitTestBot/UTBotJava/pull/2677
https://github.com/EgorkaKulikov
Supporting arrays classId in Contests (https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/31dd74d4d9b921dc8b985c6334bbdb10394f860c
#2680https://github.com/UnitTestBot/UTBotJava/pull/2680
)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/31dd74d4d9b921dc8b985c6334bbdb10394f860c
31dd74dhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/31dd74d4d9b921dc8b985c6334bbdb10394f860c
https://github.com/EgorkaKulikov
https://github.com/IlyaMuravjov
Very simple UtAssembleModel improver (https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/b2cb044d4281d649b53b0766b1984a3ae2b2a1c7
#2678https://github.com/UnitTestBot/UTBotJava/pull/2678
)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/b2cb044d4281d649b53b0766b1984a3ae2b2a1c7
b2cb044https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/b2cb044d4281d649b53b0766b1984a3ae2b2a1c7
https://github.com/tepa46
Fix class name argument in the setField method (https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/3400a965afeb17a272cdd7579eb79a85a63f8164
#2681https://github.com/UnitTestBot/UTBotJava/pull/2681
)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/3400a965afeb17a272cdd7579eb79a85a63f8164
3400a96https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/3400a965afeb17a272cdd7579eb79a85a63f8164
https://github.com/IlyaMuravjov
Fix test generation for nested classes (https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/a11c3e998e2884b403028fbcc52285805bbf27a4
#2684https://github.com/UnitTestBot/UTBotJava/pull/2684
)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/a11c3e998e2884b403028fbcc52285805bbf27a4
a11c3e9https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/a11c3e998e2884b403028fbcc52285805bbf27a4
https://github.com/IlyaMuravjov
Improverhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/27886303236f774891da9e72206eb5186c1e818f
UTestRunnerhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/27886303236f774891da9e72206eb5186c1e818f
initialization and shutdown (https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/27886303236f774891da9e72206eb5186c1e818f
#2683https://github.com/UnitTestBot/UTBotJava/pull/2683
)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/27886303236f774891da9e72206eb5186c1e818f
2788630https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/27886303236f774891da9e72206eb5186c1e818f
https://github.com/tepa46
Add summarization for usvm-sbft (https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/62aa5b076cbb0f88aafc650bba991ed1ce27a748
#2682https://github.com/UnitTestBot/UTBotJava/pull/2682
)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/62aa5b076cbb0f88aafc650bba991ed1ce27a748
62aa5b0https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/62aa5b076cbb0f88aafc650bba991ed1ce27a748
https://github.com/EgorkaKulikov
Use usvm samples instead of UtBot ones (https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/0a9003dbdece31e2ac4abce357bcbc7df0b5046c
#2685https://github.com/UnitTestBot/UTBotJava/pull/2685
)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/0a9003dbdece31e2ac4abce357bcbc7df0b5046c
0a9003dhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/0a9003dbdece31e2ac4abce357bcbc7df0b5046c
https://github.com/tepa46
Fix fieldId creation for UtCompositeModel (https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/b40f0f3d8a587f98e070db15aff90ad61c9a3c82
#2686https://github.com/UnitTestBot/UTBotJava/pull/2686
)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/b40f0f3d8a587f98e070db15aff90ad61c9a3c82
b40f0f3https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/b40f0f3d8a587f98e070db15aff90ad61c9a3c82
https://github.com/EgorkaKulikov
A tempopary hack for void TypeName processinghttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/629983c6314b83c02d238fb0e2621006c12b7c47
629983chttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/629983c6314b83c02d238fb0e2621006c12b7c47
https://github.com/EgorkaKulikov
A proper solution for void TypeName processinghttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/1d974f7e3a389852f71d90e6ed7b8ae76fc83346
1d974f7https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/1d974f7e3a389852f71d90e6ed7b8ae76fc83346
https://github.com/EgorkaKulikov
Add all arrays as test classes for convertershttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/2b6ff8967f9dae8e9a72a2aa9aad153f3d36494c
2b6ff89https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/2b6ff8967f9dae8e9a72a2aa9aad153f3d36494c
https://github.com/EgorkaKulikov
Add samples from typeshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5b0e8dd7695a69c3d1a4cff5d4ce8d8caca9519d
5b0e8ddhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5b0e8dd7695a69c3d1a4cff5d4ce8d8caca9519d
https://github.com/EgorkaKulikov
Add samples from ternaryhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/f38dae074c2c3636290d5b356ba3de29560fa37d
f38dae0https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/f38dae074c2c3636290d5b356ba3de29560fa37d
https://github.com/tepa46
Add processing of usvmExistingButNullString (https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/3080413aee4d2cd0c416dbbffa12da9e9c9b957e
#2689https://github.com/UnitTestBot/UTBotJava/pull/2689
)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/3080413aee4d2cd0c416dbbffa12da9e9c9b957e
3080413https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/3080413aee4d2cd0c416dbbffa12da9e9c9b957e
https://github.com/EgorkaKulikov
https://github.com/IlyaMuravjov
Fix classloader problem and correct class lists (exclude missing clas…https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/26d9901a3d1610b71ab9b9814229fc01f700082c
26d9901https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/26d9901a3d1610b71ab9b9814229fc01f700082c
https://github.com/IlyaMuravjov
Include usvm via GitHub packages (https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/89045853892b6f287a15de124d697b75184a15ea
#2687https://github.com/UnitTestBot/UTBotJava/pull/2687
)https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/89045853892b6f287a15de124d697b75184a15ea
8904585https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/89045853892b6f287a15de124d697b75184a15ea
https://github.com/EgorkaKulikov
Upgrade usvm versionhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9869eb08bb9bf66009227f1bbd6761e0c326e218
9869eb0https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9869eb08bb9bf66009227f1bbd6761e0c326e218
https://github.com/EgorkaKulikov
Add invokes into sampleshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/1362ac7869afb2a2ae80ce2c6ac570d345ca769b
1362ac7https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/1362ac7869afb2a2ae80ce2c6ac570d345ca769b
https://github.com/EgorkaKulikov
Add several new classes to samples - Yuri said that it is enoughhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/c365a7acf03a815449e25f36c24e289e53cd1bca
c365a7ahttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/c365a7acf03a815449e25f36c24e289e53cd1bca
https://github.com/tepa46
Fix enum converter and add sample from enumshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/7429dc9216294bd79c116027953ab0728d47d0b2
7429dc9https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/7429dc9216294bd79c116027953ab0728d47d0b2
https://github.com/EgorkaKulikov
Remove non-relevant TODOhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9bb144aca8a48fcb7843dd94b7db3dc855107f42
9bb144ahttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9bb144aca8a48fcb7843dd94b7db3dc855107f42
https://github.com/IlyaMuravjov
Improve UTestValueDescriptor to UtModel conversion and state chan…https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/6e6c378f0b556389abbd71c7445a2b22b987f7aa
6e6c378https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/6e6c378f0b556389abbd71c7445a2b22b987f7aa
#2691https://github.com/UnitTestBot/UTBotJava/pull/2691
https://github.com/EgorkaKulikov
Update usvm versionhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5084e02d4df9d91d296bb1a90da069a772bc13bf
5084e02https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5084e02d4df9d91d296bb1a90da069a772bc13bf
https://github.com/IlyaMuravjov
Fix constructConstArrayModelMapper for empty arrayshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/ae1cdcf187f4800d4200acbe64db7c12b82ebf32
ae1cdcfhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/ae1cdcf187f4800d4200acbe64db7c12b82ebf32
https://github.com/EgorkaKulikov
Remove non-relevant TODOhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/b74f3c84917b2648c2ecd9326566b3982d7216c7
b74f3c8https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/b74f3c84917b2648c2ecd9326566b3982d7216c7
https://github.com/IlyaMuravjov
Use jacodb with classpathWithApproximationshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5429647d0fb0a09783518033b80db8b56efb5500
5429647https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5429647d0fb0a09783518033b80db8b56efb5500
IlyaMuravjovhttps://github.com/IlyaMuravjov
December 6, 2023 19:33https://github.com/UnitTestBot/UTBotJava/pull/2710#commits-pushed-d18ff85
https://github.com/IlyaMuravjov
Revert contest hackshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/d18ff8573ab9cfdfe8efb3e2adb9d80fe7609abc
d18ff85https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/d18ff8573ab9cfdfe8efb3e2adb9d80fe7609abc
https://github.com/IlyaMuravjov
Make contest use Tool.UtBot by defaulthttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/aa86d554fdfb706a30ee840c57173331505847f4
aa86d55https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/aa86d554fdfb706a30ee840c57173331505847f4
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/IlyaMuravjov
ctg-enhancement https://github.com/UnitTestBot/UTBotJava/issues?q=state%3Aopen%20label%3Actg-enhancement
comp-contest-estimator https://github.com/UnitTestBot/UTBotJava/issues?q=state%3Aopen%20label%3Acomp-contest-estimator
Dec 6, 2023https://github.com/UnitTestBot/UTBotJava/pull/2710#event-11171071529
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/IlyaMuravjov
EgorkaKulikovhttps://github.com/EgorkaKulikov
December 6, 2023 16:52https://github.com/UnitTestBot/UTBotJava/pull/2710#event-11171071554
tepa46https://github.com/tepa46
December 7, 2023 11:34https://github.com/UnitTestBot/UTBotJava/pull/2710#commits-pushed-79d5daa
https://github.com/tepa46
Update tool settings for summaryhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/79d5daa74431c56ebe600a5ecb15dafb31a4ef97
79d5daahttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/79d5daa74431c56ebe600a5ecb15dafb31a4ef97
https://github.com/EgorkaKulikov
Update gradle properties in yml scriptshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/d14032a220fed924be14f5dbaedf64aab9412e52
d14032ahttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/d14032a220fed924be14f5dbaedf64aab9412e52
https://github.com/EgorkaKulikov
Temporary credshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/6bdd3c95032894b9eb0784185ea78d959fb25f39
6bdd3c9https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/6bdd3c95032894b9eb0784185ea78d959fb25f39
https://github.com/EgorkaKulikov
Revert temporary credshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9689766172cc0284ef50965fe5a7b19d9c97eec9
9689766https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9689766172cc0284ef50965fe5a7b19d9c97eec9
https://github.com/EgorkaKulikov
Some todos in TestFrameworkManagerhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/6226fbb4ecf579e986af03b42012ba4882aeb67a
6226fbbhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/6226fbb4ecf579e986af03b42012ba4882aeb67a
bissquit: configure debug envhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/17dc5d97611136af25e3179d0e97597fe6b8725a
17dc5d9https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/17dc5d97611136af25e3179d0e97597fe6b8725a
Merge branch 'usvm' ofhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/806127d2a8e2ddffcc8d985075a1b3783403c1bb
https://github.com/UnitTestBot/UTBotJavahttps://github.com/UnitTestBot/UTBotJava
into …https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/806127d2a8e2ddffcc8d985075a1b3783403c1bb
806127dhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/806127d2a8e2ddffcc8d985075a1b3783403c1bb
add pers tokenhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/2b88b44522162520c059af01abacfa474f33f642
2b88b44https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/2b88b44522162520c059af01abacfa474f33f642
add secrethttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e7b912a8e640d5e05fcd7594debc8472ba2c6b75
e7b912ahttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e7b912a8e640d5e05fcd7594debc8472ba2c6b75
add token to all gradle runshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e97e076bb06c0e83e0269199a9a5b763dd2049ac
e97e076https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e97e076bb06c0e83e0269199a9a5b763dd2049ac
replace ro_token by github_tokenhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/844554d7f6881fef24cdc742acc00bdac12220aa
844554dhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/844554d7f6881fef24cdc742acc00bdac12220aa
add permissionshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9f70211aae3e11a0755e5ab75c8c74e346f2e326
9f70211https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9f70211aae3e11a0755e5ab75c8c74e346f2e326
change to write permissionshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/3c45e8c997866a18ec0e1e6cb772696f368a8a0c
3c45e8chttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/3c45e8c997866a18ec0e1e6cb772696f368a8a0c
return PACKAGES_RO_TOKEN varhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/6f9a8b297bce6f30eabb7c5965ccead713ace345
6f9a8b2https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/6f9a8b297bce6f30eabb7c5965ccead713ace345
remove debughttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/fce45b3ced7adb9eecc96b054642baa3d78fafb9
fce45b3https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/fce45b3ced7adb9eecc96b054642baa3d78fafb9
https://github.com/EgorkaKulikov
Further update of yml scriptshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5f9403bffda980bbf00c6fac3691767078700fb8
5f9403bhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5f9403bffda980bbf00c6fac3691767078700fb8
https://github.com/EgorkaKulikov
Merge branch 'usvm' ofhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e5d3549c5d67aedbbf662fb226e5ede21e38544a
https://github.com/UnitTestBot/UTBotJavahttps://github.com/UnitTestBot/UTBotJava
into …https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e5d3549c5d67aedbbf662fb226e5ede21e38544a
e5d3549https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e5d3549c5d67aedbbf662fb226e5ede21e38544a
https://github.com/EgorkaKulikov
Correct usvm version to fix compilationhttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/fe8a7535853983ac4efd2527ac843ba42d8a63f4
fe8a753https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/fe8a7535853983ac4efd2527ac843ba42d8a63f4
https://github.com/EgorkaKulikov
Disable four testshttps://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e896a309b357b80348fe5f4bf690fb000833653f
e896a30https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e896a309b357b80348fe5f4bf690fb000833653f
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/EgorkaKulikov
force-pushedhttps://github.com/UnitTestBot/UTBotJava/compare/73724f10c9d5071161d36bf0f8dda5e2b0a74871..e896a309b357b80348fe5f4bf690fb000833653f
73724f1https://github.com/UnitTestBot/UTBotJava/commit/73724f10c9d5071161d36bf0f8dda5e2b0a74871
e896a30https://github.com/UnitTestBot/UTBotJava/commit/e896a309b357b80348fe5f4bf690fb000833653f
Compare https://github.com/UnitTestBot/UTBotJava/compare/73724f10c9d5071161d36bf0f8dda5e2b0a74871..e896a309b357b80348fe5f4bf690fb000833653f
December 8, 2023 14:44https://github.com/UnitTestBot/UTBotJava/pull/2710#event-11194316953
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/EgorkaKulikov
Dec 8, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710#pullrequestreview-1772611361
View reviewed changes https://github.com/UnitTestBot/UTBotJava/pull/2710/files/e896a309b357b80348fe5f4bf690fb000833653f
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/EgorkaKulikov
deedfc7https://github.com/UnitTestBot/UTBotJava/commit/deedfc7da45f8f26fe7a3658cb1163289c020e60
Dec 8, 2023https://github.com/UnitTestBot/UTBotJava/pull/2710#event-11194707565
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/EgorkaKulikov
December 8, 2023 15:21https://github.com/UnitTestBot/UTBotJava/pull/2710#event-11194707809
Limit number of unknown coverage executions #2627 https://github.com/UnitTestBot/UTBotJava/pull/2627
There are 50+ false positive identical tests on NoClassDefFoundError not minimized #2622 https://github.com/UnitTestBot/UTBotJava/issues/2622
Sign up for freehttps://github.com/join?source=comment-repo
Sign in to commenthttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fpull%2F2710
https://github.com/EgorkaKulikov
EgorkaKulikov https://github.com/EgorkaKulikov
https://github.com/UnitTestBot/UTBotJava/pull/2710/files/e896a309b357b80348fe5f4bf690fb000833653f
comp-contest-estimator https://github.com/UnitTestBot/UTBotJava/issues?q=state%3Aopen%20label%3Acomp-contest-estimator
ctg-enhancement https://github.com/UnitTestBot/UTBotJava/issues?q=state%3Aopen%20label%3Actg-enhancement
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2710
https://github.com/IlyaMuravjov
https://github.com/EgorkaKulikov
https://github.com/tepa46
https://github.com/Damtev
https://github.com/Saloed
https://github.com/sergeypospelov
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.