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 Regression tests should pass, nightly statistics monitoring should continue working. Manual tests Use Java 17 Configure val mainTool = Tool.USVM in ContestEstimator Run :utbot-junit-contest:run task (some USVM warnings/errors can get logged) There should be tests generated by USVM in UTBotJava/utbot-junit-contest/build/output/test Self-check list I've set the proper labels for my PR (at least, for category and component). PR title and description are clear and intelligible. I've added enough comments to my code, particularly in hard-to-understand areas. The functionality I've repaired, changed or added is covered with automated tests. Manual tests have been provided optionally. The documentation for the functionality I've been working on is up-to-date.

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/files(.:format)
route-controllerpull_requests
route-actionfiles
fetch-noncev2:ca11d124-89a1-f6cc-84a4-4823274cc22b
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idEDDC:2015F:61B938:86E840:698EF4D2
html-safe-nonce7d2d604d28824cfac6939d73d13404891310b0a9f374313c3a8fc3d5c12c5753
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJFRERDOjIwMTVGOjYxQjkzODo4NkU4NDA6Njk4RUY0RDIiLCJ2aXNpdG9yX2lkIjoiMTQ1MDgzOTQ0MzI1ODY2ODI0MiIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmac08540147d0e09909dd8d933c1c57e8e439f533cc099cca1e884e51d214ae187e
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/files
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/UnitTestBot/UTBotJava/pull/2710/files
twitter:imagehttps://avatars.githubusercontent.com/u/71839386?s=400&v=4
twitter:cardsummary_large_image
og:imagehttps://avatars.githubusercontent.com/u/71839386?s=400&v=4
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:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
None7f7bf82d8907f81525d95af82e60354b419d083df9534c8631d06bb9c0bf07ac
turbo-cache-controlno-preview
diff-viewunified
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 full-width
disable-turbotrue
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
releasebc36007ff5167349dcfee9a75c7fa7184ab272c4
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/UnitTestBot/UTBotJava/pull/2710/files#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fpull%2F2710%2Ffiles
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%2Ffiles
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%2Ffiles&source=header-repo&source_repo=UnitTestBot%2FUTBotJava
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/2710/files
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/2710/files
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/2710/files
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
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/files
USVM to UtBot adapters without contest hacks https://github.com/UnitTestBot/UTBotJava/pull/2710/files#top
Show all changes 123 commits https://github.com/UnitTestBot/UTBotJava/pull/2710/files
fc570ea Introduce `Tool.USVM` in `ContestEstimator`, implement `runUsvmGenera… IlyaMuravjov Oct 27, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/fc570eae3eaffed12671d0199f0629729266239b
79cf54b Bump ksmt version to `0.5.13` IlyaMuravjov Nov 3, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/79cf54b682c3dbf9c127b11d5b5876025720eb31
d5cdd8a Hacks similar to contest 2023 ones (#2676) EgorkaKulikov Nov 7, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/d5cdd8af8b4fecf8a7255059f1999a290ad8a342
092a27a Initial implementations of the adapter from JcExecution to UtExecutio… EgorkaKulikov Nov 9, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/092a27a58b2dae30d8debd5a750450dd04c2512d
31dd74d Supporting arrays classId in Contests (#2680) EgorkaKulikov Nov 10, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/31dd74d4d9b921dc8b985c6334bbdb10394f860c
b2cb044 Very simple UtAssembleModel improver (#2678) EgorkaKulikov Nov 10, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/b2cb044d4281d649b53b0766b1984a3ae2b2a1c7
3400a96 Fix class name argument in the setField method (#2681) tepa46 Nov 13, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/3400a965afeb17a272cdd7579eb79a85a63f8164
a11c3e9 Fix test generation for nested classes (#2684) IlyaMuravjov Nov 13, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/a11c3e998e2884b403028fbcc52285805bbf27a4
2788630 Improver `UTestRunner` initialization and shutdown (#2683) IlyaMuravjov Nov 13, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/27886303236f774891da9e72206eb5186c1e818f
62aa5b0 Add summarization for usvm-sbft (#2682) tepa46 Nov 13, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/62aa5b076cbb0f88aafc650bba991ed1ce27a748
0a9003d Use usvm samples instead of UtBot ones (#2685) EgorkaKulikov Nov 13, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/0a9003dbdece31e2ac4abce357bcbc7df0b5046c
b40f0f3 Fix fieldId creation for UtCompositeModel (#2686) tepa46 Nov 13, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/b40f0f3d8a587f98e070db15aff90ad61c9a3c82
629983c A tempopary hack for void TypeName processing EgorkaKulikov Nov 13, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/629983c6314b83c02d238fb0e2621006c12b7c47
1d974f7 A proper solution for void TypeName processing EgorkaKulikov Nov 14, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/1d974f7e3a389852f71d90e6ed7b8ae76fc83346
2b6ff89 Add all arrays as test classes for converters EgorkaKulikov Nov 14, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/2b6ff8967f9dae8e9a72a2aa9aad153f3d36494c
5b0e8dd Add samples from types EgorkaKulikov Nov 15, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5b0e8dd7695a69c3d1a4cff5d4ce8d8caca9519d
f38dae0 Add samples from ternary EgorkaKulikov Nov 15, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/f38dae074c2c3636290d5b356ba3de29560fa37d
3080413 Add processing of usvmExistingButNullString (#2689) tepa46 Nov 15, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/3080413aee4d2cd0c416dbbffa12da9e9c9b957e
26d9901 Fix classloader problem and correct class lists (exclude missing clas… EgorkaKulikov Nov 15, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/26d9901a3d1610b71ab9b9814229fc01f700082c
8904585 Include usvm via GitHub packages (#2687) IlyaMuravjov Nov 15, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/89045853892b6f287a15de124d697b75184a15ea
9869eb0 Upgrade usvm version EgorkaKulikov Nov 15, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9869eb08bb9bf66009227f1bbd6761e0c326e218
1362ac7 Add invokes into samples EgorkaKulikov Nov 15, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/1362ac7869afb2a2ae80ce2c6ac570d345ca769b
c365a7a Add several new classes to samples - Yuri said that it is enough EgorkaKulikov Nov 16, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/c365a7acf03a815449e25f36c24e289e53cd1bca
7429dc9 Fix enum converter and add sample from enums tepa46 Nov 16, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/7429dc9216294bd79c116027953ab0728d47d0b2
9bb144a Remove non-relevant TODO EgorkaKulikov Nov 16, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9bb144aca8a48fcb7843dd94b7db3dc855107f42
6e6c378 Improve `UTestValueDescriptor` to `UtModel` conversion and state chan… IlyaMuravjov Nov 18, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/6e6c378f0b556389abbd71c7445a2b22b987f7aa
5084e02 Update usvm version EgorkaKulikov Nov 18, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5084e02d4df9d91d296bb1a90da069a772bc13bf
ae1cdcf Fix `constructConstArrayModelMapper` for empty arrays IlyaMuravjov Nov 18, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/ae1cdcf187f4800d4200acbe64db7c12b82ebf32
b74f3c8 Remove non-relevant TODO EgorkaKulikov Nov 20, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/b74f3c84917b2648c2ecd9326566b3982d7216c7
5429647 Use jacodb with `classpathWithApproximations` IlyaMuravjov Nov 20, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5429647d0fb0a09783518033b80db8b56efb5500
96993d9 Reduce concrete execution timeout to 1 second IlyaMuravjov Nov 20, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/96993d9f17eef6309e29a757f2468d6fb50f0322
e8a30d7 Remove redundant TODO IlyaMuravjov Nov 20, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e8a30d7d336999cb6a32c07d8bf6a708f1d20a73
ab0a529 Replace generics with bounds when converting to ut models IlyaMuravjov Nov 20, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/ab0a529a94708a78da429aa856d5bb26cb9ae7de
75cd001 Correct JacoDb classpath EgorkaKulikov Nov 20, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/75cd001adef7008e067f6ab7b0ccd2cbe4e8ec65
eaf85e9 Correct JacoDb classpath EgorkaKulikov Nov 20, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/eaf85e98dcf6d6f9818beea084e1c4a83c652ec2
273335e Update jacodb (#2694) Damtev Nov 20, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/273335e303a40afe428edacb9a84d7d65d878c3f
22e577b Update approximations version EgorkaKulikov Nov 21, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/22e577b2275b1ebed85d7ed5e75a5f1759a46660
9bbb24c Update usvm version EgorkaKulikov Nov 21, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9bbb24c12fde6aa4ea207033fb17387e9e18a6fc
623a94f Make JcMachine's budget distributing strategy and refactor (#2695) IlyaMuravjov Nov 21, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/623a94fd4f3fc3bb802f10269e30631b0c44ce37
65dd727 SBFT'24 An attempt to support UTestGlobalMock in converters (#2690) EgorkaKulikov Nov 22, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/65dd727daab9243821f3a5436fc3e145c08299a1
26751a5 Introduce and use `JcMachine.analyzeAsync` in `ContestUsvm` (#2696) IlyaMuravjov Nov 22, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/26751a5f1804d7b0b2b7d6c70723522e08d32164
7ed6b08 Make USVM descriptor to UtModel cache consider state kind (initial or… IlyaMuravjov Nov 22, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/7ed6b08d84dea39037b090dd34b30bf43c043910
5d3ad21 Update gradle script to run tests properly EgorkaKulikov Nov 23, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5d3ad213930708446b78fc5812db455f7dc10ad4
208aad4 Update usvm version EgorkaKulikov Nov 23, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/208aad4743001189146f3e5c33b682f8e54a35e0
e0f7080 Remove strange hack to discuss later EgorkaKulikov Nov 23, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e0f70800606659fbdda2e29ffa37d6cc59c944b1
272ebbe Add support for correct generation of inner tests tepa46 Nov 23, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/272ebbebc479617880ca7d3763af525875758f58
0a3db6a Update usvm version EgorkaKulikov Nov 23, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/0a3db6a0cbe666710b42a7c4743071066d58e13e
0eaf9ac Avoid set fields not present in `UTest` (for `UtCompositeModel`) (#2698) IlyaMuravjov Nov 24, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/0eaf9ac98e1ed8a37fa86125dd071cbd5a489ce4
ac667bb Use classpathWithApproximations EgorkaKulikov Nov 24, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/ac667bb0ba7dc20dfc7ca8495d55cdab1d9c5b18
405444f Fix bug in `assertEquals` for `String` in codegen IlyaMuravjov Nov 24, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/405444f139cee807be5f050ebd8076d2b36c2da8
4362bd2 Add timeout execution conversion IlyaMuravjov Nov 24, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/4362bd27f13a6b898af1c87b7660803778079f7b
a365f4e Improve logging time spent on concrete and conversion IlyaMuravjov Nov 24, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/a365f4e8f7609ab4051be7d93250b7394280debd
d7134b7 Make logger group repeated exceptions (e.g. "(x100) message") IlyaMuravjov Nov 24, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/d7134b744309536b739636a1fd040475f93add34
f523512 Better log `JcType.classId` fails IlyaMuravjov Nov 24, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/f523512d08e4ac15c7fd4929371fd6fe80e38e87
5c82e57 Add notice about `usvmVersion` being outdated IlyaMuravjov Nov 24, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5c82e577228fde9af3ca84054089ed62195c48cc
d25e3bb Actualise `JcTestExecutor` IlyaMuravjov Nov 24, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/d25e3bbf4a9d70d00884570a0b917639976352a7
a751085 Update usvm version EgorkaKulikov Nov 25, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/a751085e74c8eb099c34de1cd909a038c43da14d
dd5176f Fix invalid `UTestCyclicReferenceDescriptor` IlyaMuravjov Nov 27, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/dd5176fc146e2cdb496d8adc67bfde5dabeb1acb
1cc84fd Automatically remove uncompilable test methods (#2699) IlyaMuravjov Nov 27, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/1cc84fd38bd5ef5dac5b6850d10dd2b02eca8e76
7f1c3a8 Update path selector strategy EgorkaKulikov Nov 27, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/7f1c3a8cd22426ea1c9a683db3ea7d8a29b058ff
7b58a17 Add a copy of https://github.com/UnitTestBot/UTBotJava/pull/2627 into… EgorkaKulikov Nov 28, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/7b58a17de5f8fd3a72f60170cb2d03bcdbfe6b4c
9eadf92 Update approximations version EgorkaKulikov Nov 28, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9eadf926aba0284425f43857be13d00915fdb49e
9f4af0b Use symbolic result instead of concrete if it is better (#2700) EgorkaKulikov Nov 28, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9f4af0ba2ea57e7813e62503248cda0f0b1f9f74
62f25ad Avoid class initialization when we evaluate ClassId EgorkaKulikov Nov 28, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/62f25ad41446d3291934c3a12d7f28952003a17c
2d09b02 Revert "Avoid class initialization when we evaluate ClassId" EgorkaKulikov Nov 28, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/2d09b02d342bd8dfcd7587f21261f4b4f16aec13
bae5664 Avoid class initialization when we evaluate ClassId EgorkaKulikov Nov 28, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/bae5664b21bc24d7c74040d77fc75894a50c8bd2
dff5430 Create mocks in output values (#2701) IlyaMuravjov Nov 28, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/dff543078a2f87cd4d9cbc271bef7a391a2e2d8a
e1c9d2a Update versions EgorkaKulikov Nov 28, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e1c9d2a712768137930ce9fa8a044c4b43efbcf9
329eb6f Update usvm version EgorkaKulikov Nov 28, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/329eb6f378523ecf68e3e2ba8c957811594101c3
6702aec Workaround to deal with `UTestMethodCall` where `instance` is a mock IlyaMuravjov Nov 29, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/6702aecf7e85af37fab1d27ab27dc12f6deb8af9
3844378 Solver type changed EgorkaKulikov Nov 29, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/3844378af29669af9b78bfbdb5530d101af192a8
1f24d07 Handle `UTestSetFieldStatement` where `instance` is a mock IlyaMuravjov Nov 29, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/1f24d07d6df538df12fb9bca5c7118607550a689
4fa518e Hack for Random mocks (#2702) Damtev Nov 29, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/4fa518e7f09bc0dfa9717659352bbbf2ff3c23ca
bef3893 Add cast when `mock()` is called on anonymous class (e.g. `(CaseForma… IlyaMuravjov Nov 29, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/bef38932e4c632d2f3a819cf73101469dd0fe730
ae79171 Improve logging for `JcField.fieldId` failures IlyaMuravjov Nov 29, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/ae79171cef1cdc4aa29bf0b3865b8fa0c83c0e05
9bb4e1a Update approximations version EgorkaKulikov Nov 29, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9bb4e1a72dc9ff21631fe8505756ab281b499a94
f2c47e0 jc-test-resolver: better handling of strings and classes, class const… IlyaMuravjov Nov 29, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/f2c47e0a63d324dfbc1d768324dc98afa2ef25f5
29cd67a Update lists as in benchmark EgorkaKulikov Nov 29, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/29cd67ab73fed9c984dbeac6686436f09a46ded5
e63ba23 Fallback to symbolic result when `runner.executeAsync()` throws excep… IlyaMuravjov Nov 29, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e63ba23412a1cac22ee5631d95abb62c8f09c10e
8c206e6 Fix the list EgorkaKulikov Nov 29, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/8c206e641b5d5a543ef504c1dc52918da33cfad4
4142156 Fallback to symbolic result when `jcToUtExecutionConverter.convert` t… IlyaMuravjov Nov 29, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/41421566ae4c00e73b38da25b6a24b02b42cee56
b492606 Fix codegen for `String(char[])` calls (use string literals when poss… IlyaMuravjov Nov 29, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/b492606253ea60fb40b7b1c7067a9a9a665ea45e
c2d693b Ignore static fields in `UTestObjectDescriptor` IlyaMuravjov Nov 29, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/c2d693b8a8db4c4b594ea01e1b94140dc1746011
64b1e18 Usvm competitions 2024: jacodb persistence (#2703) Saloed Nov 30, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/64b1e18675c0973fc18f79156c177ef2665223d7
5b46171 Usvm distribution for the contest (#2704) Saloed Nov 30, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5b4617158eaea061adb3d1ca00fa03a801f21fc0
c7ff5cd Add types sorting sergeypospelov Nov 30, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/c7ff5cd509e463524c7a1299554d56d32108d7ed
08234e2 Drop crashed executions (#2705) Damtev Nov 30, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/08234e28ef6cb0a3896879e3ddd457d487f701e0
c8665bc Fix classpath (#2706) Saloed Nov 30, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/c8665bc6ea0f3c3ee04c783297bb6ac317a69516
2086f5b Avoid `` call in `JcField.fieldId` IlyaMuravjov Dec 1, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/2086f5b527064fa776d85d4f95bfb1c4e93b7dee
2933a0c Add timeout for all test with exceptions IlyaMuravjov Dec 1, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/2933a0cc3a593846e9fa0eb6a590bde86d54922f
69c273f Removed Soot initialization (#2707) Damtev Dec 1, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/69c273f63e2688f16527407e342dfb054c6a49d9
84d9325 Update usvm version EgorkaKulikov Dec 1, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/84d9325fa913bcd1840a91ddb6222e3dad748645
693c54f Remove irrelevant require EgorkaKulikov Dec 1, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/693c54f390d086e47ebad1e67b95842b252cb6bf
acc2473 Initialize JacoDB and stat executor before starting contest, stop cac… IlyaMuravjov Dec 1, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/acc247345f8dcebe1cbdc274cbb29d510e39bf72
5503f43 Updated usvm version Damtev Dec 1, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5503f43ede037b732bfad0d0f7fc2ec5e0e16d01
2a8f639 Add `maxUnknownCoverageExecutionsPerMethodPerResultType` to `settings… IlyaMuravjov Dec 6, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/2a8f63992e30f7ff4f6c90ba19be3218c5217628
648fccc Update Z3 native files paths to work with ksmt 0.5.13 IlyaMuravjov Dec 6, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/648fcccd13f5de9961a3519ec6fd7f2646d63490
488e80e Update RD in all projects IlyaMuravjov Dec 6, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/488e80e851dfc1599bbdeb1e2f09545ba6821a1a
f4458bb Update Run IDEA task to use :utbot-intellij-main IlyaMuravjov Dec 6, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/f4458bb5939463197250c9bf54825176d230d1b9
f76c6fe Complete most `usvm-sbft-merge` TODOs IlyaMuravjov Dec 6, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/f76c6feed23c0ad3b4274fbadf4c2b770620ca58
515ce1b Uncomment `include`s for `intellij` projects in `settings.gradle.kts` IlyaMuravjov Dec 6, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/515ce1bbc057ac75fd37613d08cbefe91918310d
87e8384 Add `addTestMethodMarkers` ut setting IlyaMuravjov Dec 6, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/87e83840fd9e0cd45ff4c07cf76a2536df629597
d18ff85 Revert contest hacks IlyaMuravjov Dec 6, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/d18ff8573ab9cfdfe8efb3e2adb9d80fe7609abc
aa86d55 Make contest use `Tool.UtBot` by default IlyaMuravjov Dec 6, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/aa86d554fdfb706a30ee840c57173331505847f4
79d5daa Update tool settings for summary tepa46 Dec 7, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/79d5daa74431c56ebe600a5ecb15dafb31a4ef97
d14032a Update gradle properties in yml scripts EgorkaKulikov Dec 7, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/d14032a220fed924be14f5dbaedf64aab9412e52
6bdd3c9 Temporary creds EgorkaKulikov Dec 7, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/6bdd3c95032894b9eb0784185ea78d959fb25f39
9689766 Revert temporary creds EgorkaKulikov Dec 7, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9689766172cc0284ef50965fe5a7b19d9c97eec9
6226fbb Some todos in TestFrameworkManager EgorkaKulikov Dec 7, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/6226fbb4ecf579e986af03b42012ba4882aeb67a
17dc5d9 bissquit: configure debug env Dec 7, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/17dc5d97611136af25e3179d0e97597fe6b8725a
806127d Merge branch 'usvm' of https://github.com/UnitTestBot/UTBotJava into … Dec 7, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/806127d2a8e2ddffcc8d985075a1b3783403c1bb
2b88b44 add pers token Dec 7, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/2b88b44522162520c059af01abacfa474f33f642
e7b912a add secret Dec 7, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e7b912a8e640d5e05fcd7594debc8472ba2c6b75
e97e076 add token to all gradle runs Dec 7, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e97e076bb06c0e83e0269199a9a5b763dd2049ac
844554d replace ro_token by github_token Dec 7, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/844554d7f6881fef24cdc742acc00bdac12220aa
9f70211 add permissions Dec 7, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/9f70211aae3e11a0755e5ab75c8c74e346f2e326
3c45e8c change to write permissions Dec 7, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/3c45e8c997866a18ec0e1e6cb772696f368a8a0c
6f9a8b2 return PACKAGES_RO_TOKEN var Dec 7, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/6f9a8b297bce6f30eabb7c5965ccead713ace345
fce45b3 remove debug Dec 7, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/fce45b3ced7adb9eecc96b054642baa3d78fafb9
5f9403b Further update of yml scripts EgorkaKulikov Dec 7, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/5f9403bffda980bbf00c6fac3691767078700fb8
e5d3549 Merge branch 'usvm' of https://github.com/UnitTestBot/UTBotJava into … EgorkaKulikov Dec 7, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e5d3549c5d67aedbbf662fb226e5ede21e38544a
fe8a753 Correct usvm version to fix compilation EgorkaKulikov Dec 8, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/fe8a7535853983ac4efd2527ac843ba42d8a63f4
e896a30 Disable four tests EgorkaKulikov Dec 8, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2710/commits/e896a309b357b80348fe5f4bf690fb000833653f
Clear filters https://github.com/UnitTestBot/UTBotJava/pull/2710/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2710/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2710/files
build-and-run-tests-from-branch.yml https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-f297580e941b60c61c24c3ff82ba0b552f5caffb22c141af29d67ad533817739
public-rider-plugin.yml https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-ecc70194fa0a4f10b59bb2a494722ae9328fc43bf45f706da38450f67387cd3b
publish-cli-from-branch.yml https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-7dfb0c5d6301df4a28b7f46dd4ecfb2a324965928d74f8eef3255cb967ff7497
publish-cli-image-from-branch.yml https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-3614b54db6a4e4fbcc574548de566e680c7f9e66e744c9b7fe7746ea70041dce
publish-plugin-from-branch.yml https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-a6a56cb3c1a4e344bfe36294e4eae9ad20ac9082138879cce579bdeb8275a902
run-chosen-tests-from-branch.yml https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-83417aaa2400df800329cde731652aad78d33a3a6d58a53b3ee8da47a9d1633d
Run IDEA.run.xml https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-c943688aa19b21a21cf61283bfc6603ce35e566f2944cf0f6361ce086bead9ce
gradle.properties https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-3d103fc7c312a3e136f88e81cef592424b8af2464c468116545c4d22d6edcf19
build.gradle https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-afa3c8a7f43d3a6862656737946a948621ee223eeca6654a82bf1337cd3cfd21
ThreadUtil.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-b2a2a2bc7be6a41828284a5dd429bbb562ad680fc8d71df2ea0747d27c71be53
UtSettings.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-80d01989f2b4a8930154527824aed76ab56b038fb746dbf6255ba3a3f1024931
Api.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
UtModelDeepMapper.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-f070395332ed354c2f3f31577f1277dfbea22a7624fd66f559d5804e9b3d663d
UtModelSafeCastingCachingShallowMapper.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-cbc15a70888abf50b28a1f8782f4bea7fc1b2dd61ed32da720d6e569a57ec287
Utils.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-a5ba5ed36de9141de768fc93af9570033129fa96b6de9cc1885da1fd318f3b16
build.gradle https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-064e4cbfe27eb86f4c13b8ac8e162cc7ce8ebd5c137b972b0d2a78288274a66b
ArrayOfArraysTest.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-eaf81b9bfba144207da87bffd9ae2612c98161bced4d6ba5f846ec8529a00b8a
MapEntrySetTest.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-8eb648384999aff0202b3ee45587d61d0a5a797d70255c7788d7081aba69ca06
ClassWithEnumTest.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-819c748bf785d2810d81fc6ecb1930f86cc4df14b03552897f9da5d312ec2039
build.gradle https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-198ed5349a9a49607e839e96efa55b5469c879aa1478e1ab3cf370c0f68a9768
Z3initializer.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-122e5d2df756c41b0b3aa9be6b9bd655bcf88c93c9209ddd65fc4eacba4778ea
CgAbstractRenderer.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-3487e7d48bb68f557fb94971c9164ff279aa3bd3bdeb425c430f0c6d5713b6ec
CgJavaRenderer.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-edc446b79d0dd9e900471552c297cdc37ce1b419d754b6b1b87f622e42f59bd8
TestFrameworkManager.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-b9c7d5dca6b139eafbf8342aaf59651120223c2db1e8fc9c0fe24f94192e0f9c
CgMethodConstructor.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-f21fcf8ebc717af1a3c8222c2bc4cfc38e1d5ae129bebf5126b42853e60b9e25
CgStatementConstructor.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-13786230e36f854c05cf7b375ad66800e489aaf981032488d63c4647aa6be94f
CgVariableConstructor.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-b6b3107ab453b611bfff77589d5eca6da3bfb33d30add86487bb2e5bb7b17c33
ExecutionStateAnalyzer.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-36812b2ce2f88f3c024c6fa46886f19ce808833a49def04699ca300facd25aa1
Minimization.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-6c0b63675189b75af0494f89ef90551d32c7582e185638acab1467c5f8e32755
settings.properties https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-f057ceefcbc426205115f286270bc3a56288fccfd6e8e4953d14102d03f2f825
UtFuzzedExecution.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-ab06ffb1ce5891673190cf2eafb58f9d8c19cdea37ec648b90560568d53e37ff
build.gradle https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-47383174a579d2c1e494eb478c60b02c4782277f4e14a2219a50295a996865c0
Contest.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-0f65b8e33cb86fc8ff46a07bb6d99212507bfd53fab70fe3d1c29cb542d8cd5e
ContestEstimator.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-dbfee3223c54a572e97ddd175be541dbafac4bb96b73d1124ba851349ac68f01
ContestUsvm.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-a3360e91f04b005038834b8b5259e58dcea9415be7b15d0c7a9443f6ca52b81b
ConverterUtils.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-a1ed5f0bb1a80c20f6c2427652ed91d5bae0d1d16eea818fc37383ae6c770d6f
InstructionIdProvider.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-f93792a2020fb29bccba6353029cd2ad3076c3772d31d368806b0795ea06bcdb
JcToUtExecutionConverter.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-062b7d09aa4b96b6a0480bc5805f6002abdfd6e387359e6086244833d903439c
JcToUtModelConverter.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-c5d823bf93416e7240867204d80805f4a5e86ab4355b45278e639682dd866c89
UTestInstToUtModelConverter.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-cedf1416dd33ba34ae5e820e17a3e9b10b69a792a8b2b9d334312358bcb1e050
UTestValueDescriptorUtils.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-faf1f4d956d0a8be1306d650589ec038fa18623c493cd284b79306c67b916dae
UtUsvmExecution.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-45f550815e54ad8a85f75072fcd503a347c59186156c5cdd5a8eca2ef4fb0eba
JcContainer.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-22ac794f412efded266e8445010127a54d2838d8fb54fbfeba2cd13298491a70
JcExecution.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-5c72275ca2c9843f7750157ec25926aca83f96503397424dc7643df859c4a070
JcTestExecutor.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-6c6a42d347fc753fb1c39dee23e471369b99bd685d64aa7da476ac0b49216776
JcTestExecutorDecoderApi.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-406dbac2415a2919ed6ad652f520bac449a1f81ea8c3c2642b5fd46d853f2516
ErrorCountingLoggerAppender.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-fdff516981903c6474f0f9725c33135128bc82861c3a3d74c1b368e5c9326edd
list https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-ed0b391919bfbae30f9ece8d5d02a4497618663a745c7fc79334b9f2c94281a2
list https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-5b55475d165d63f605acc5ab827b0077ec91ac68f51113e9d6e9c06c86561618
list https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-424e1a2c7257c81c6a392091f35e4f75e4d3d1e98c44beb64e1b013a764c2f77
list https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-56125ea0b0d90da3ec15633fd895dc52acca9ea0613ea80220185da59bbe97e9
list https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-3dda1d6f6a4ab9e78b561f31d7453fcaf84d05011f2d8dcc708a7b4ae0186497
list https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-76a92100b6f7663688864a90aa288d43cc322b8f483ebbf8bea84318bda4ad47
log4j2.xml https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-068542649095f816e6540f3a4d731ac290746a48daa9c4d080c9b10dffad05be
usvm-jvm-test.jar https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-a9323c450962a8e2449b9c127a9a0f70ee7cf295e42d8622a64b2376af09c246
usvm-runtool https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-191fed9e74587ff51e0b184bbc090fa8e18da19d5c9c34bc418d80a4f7222fca
StringUtils.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-0910837267bfcc574794f88d2c0707e25ac14c3fe5362807fc42a8f03f3c0ce6
build.gradle https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-3993e92732fa7c0011970fe8b907e9c60a6cbccc13defe1363ba97d40e722896
CSharpRoot.Generated.cs https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-3a7b5f31f8e97f67e58814c5d077314764abb4658e213d189515dc7f0b04aff1
VSharpModel.Generated.cs https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-52cd1fa0cdcb3dffabc025b586de4c227464adeae1d386078c79b6103e438f9b
UtBot.Rd.csproj https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-08364a10900f6bdccbd480c69b7812786f67cfbc5798a18d7c9aa1187111ae96
Summarization.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-5c0ab2118028c8d57e7108d7f601c353ff2fbdf7785a08b36e17445e3c73d694
MethodBasedNameSuggester.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-463907848d196a46f845255fd0eae03f8f1f3ae6f208d24494ec0c38eedb7d39
USummarization.kt https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-e9568576403d01c351bcf34360fa7c8d237cf80d5cea185970a528171b4c7c58
build.gradle https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-8f978163f4a558f664954b24144871264605ad263f418dfaec472465e5b8cf7e
.github/workflows/build-and-run-tests-from-branch.ymlhttps://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-f297580e941b60c61c24c3ff82ba0b552f5caffb22c141af29d67ad533817739
View file https://github.com/UnitTestBot/UTBotJava/blob/e896a309b357b80348fe5f4bf690fb000833653f/.github/workflows/build-and-run-tests-from-branch.yml
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2710/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-f297580e941b60c61c24c3ff82ba0b552f5caffb22c141af29d67ad533817739
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-f297580e941b60c61c24c3ff82ba0b552f5caffb22c141af29d67ad533817739
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-f297580e941b60c61c24c3ff82ba0b552f5caffb22c141af29d67ad533817739
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-f297580e941b60c61c24c3ff82ba0b552f5caffb22c141af29d67ad533817739
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-f297580e941b60c61c24c3ff82ba0b552f5caffb22c141af29d67ad533817739
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-f297580e941b60c61c24c3ff82ba0b552f5caffb22c141af29d67ad533817739
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-f297580e941b60c61c24c3ff82ba0b552f5caffb22c141af29d67ad533817739
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-f297580e941b60c61c24c3ff82ba0b552f5caffb22c141af29d67ad533817739
.github/workflows/public-rider-plugin.ymlhttps://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-ecc70194fa0a4f10b59bb2a494722ae9328fc43bf45f706da38450f67387cd3b
View file https://github.com/UnitTestBot/UTBotJava/blob/e896a309b357b80348fe5f4bf690fb000833653f/.github/workflows/public-rider-plugin.yml
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2710/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-ecc70194fa0a4f10b59bb2a494722ae9328fc43bf45f706da38450f67387cd3b
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-ecc70194fa0a4f10b59bb2a494722ae9328fc43bf45f706da38450f67387cd3b
.github/workflows/publish-cli-from-branch.ymlhttps://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-7dfb0c5d6301df4a28b7f46dd4ecfb2a324965928d74f8eef3255cb967ff7497
View file https://github.com/UnitTestBot/UTBotJava/blob/e896a309b357b80348fe5f4bf690fb000833653f/.github/workflows/publish-cli-from-branch.yml
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2710/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-7dfb0c5d6301df4a28b7f46dd4ecfb2a324965928d74f8eef3255cb967ff7497
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-7dfb0c5d6301df4a28b7f46dd4ecfb2a324965928d74f8eef3255cb967ff7497
.github/workflows/publish-cli-image-from-branch.ymlhttps://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-3614b54db6a4e4fbcc574548de566e680c7f9e66e744c9b7fe7746ea70041dce
View file https://github.com/UnitTestBot/UTBotJava/blob/e896a309b357b80348fe5f4bf690fb000833653f/.github/workflows/publish-cli-image-from-branch.yml
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2710/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-3614b54db6a4e4fbcc574548de566e680c7f9e66e744c9b7fe7746ea70041dce
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-3614b54db6a4e4fbcc574548de566e680c7f9e66e744c9b7fe7746ea70041dce
.github/workflows/publish-plugin-from-branch.ymlhttps://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-a6a56cb3c1a4e344bfe36294e4eae9ad20ac9082138879cce579bdeb8275a902
View file https://github.com/UnitTestBot/UTBotJava/blob/e896a309b357b80348fe5f4bf690fb000833653f/.github/workflows/publish-plugin-from-branch.yml
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2710/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-a6a56cb3c1a4e344bfe36294e4eae9ad20ac9082138879cce579bdeb8275a902
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-a6a56cb3c1a4e344bfe36294e4eae9ad20ac9082138879cce579bdeb8275a902
.github/workflows/run-chosen-tests-from-branch.ymlhttps://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-83417aaa2400df800329cde731652aad78d33a3a6d58a53b3ee8da47a9d1633d
View file https://github.com/UnitTestBot/UTBotJava/blob/e896a309b357b80348fe5f4bf690fb000833653f/.github/workflows/run-chosen-tests-from-branch.yml
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2710/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-83417aaa2400df800329cde731652aad78d33a3a6d58a53b3ee8da47a9d1633d
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-83417aaa2400df800329cde731652aad78d33a3a6d58a53b3ee8da47a9d1633d
.run/Run IDEA.run.xmlhttps://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-c943688aa19b21a21cf61283bfc6603ce35e566f2944cf0f6361ce086bead9ce
View file https://github.com/UnitTestBot/UTBotJava/blob/e896a309b357b80348fe5f4bf690fb000833653f/.run/Run%20IDEA.run.xml
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2710/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-c943688aa19b21a21cf61283bfc6603ce35e566f2944cf0f6361ce086bead9ce
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-c943688aa19b21a21cf61283bfc6603ce35e566f2944cf0f6361ce086bead9ce
gradle.propertieshttps://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-3d103fc7c312a3e136f88e81cef592424b8af2464c468116545c4d22d6edcf19
View file https://github.com/UnitTestBot/UTBotJava/blob/e896a309b357b80348fe5f4bf690fb000833653f/gradle.properties
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2710/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-3d103fc7c312a3e136f88e81cef592424b8af2464c468116545c4d22d6edcf19
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-3d103fc7c312a3e136f88e81cef592424b8af2464c468116545c4d22d6edcf19
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-3d103fc7c312a3e136f88e81cef592424b8af2464c468116545c4d22d6edcf19
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-3d103fc7c312a3e136f88e81cef592424b8af2464c468116545c4d22d6edcf19
utbot-analytics/build.gradlehttps://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-afa3c8a7f43d3a6862656737946a948621ee223eeca6654a82bf1337cd3cfd21
View file https://github.com/UnitTestBot/UTBotJava/blob/e896a309b357b80348fe5f4bf690fb000833653f/utbot-analytics/build.gradle
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2710/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-afa3c8a7f43d3a6862656737946a948621ee223eeca6654a82bf1337cd3cfd21
utbot-core/src/main/kotlin/org/utbot/common/ThreadUtil.kthttps://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-b2a2a2bc7be6a41828284a5dd429bbb562ad680fc8d71df2ea0747d27c71be53
View file https://github.com/UnitTestBot/UTBotJava/blob/e896a309b357b80348fe5f4bf690fb000833653f/utbot-core/src/main/kotlin/org/utbot/common/ThreadUtil.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2710/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-b2a2a2bc7be6a41828284a5dd429bbb562ad680fc8d71df2ea0747d27c71be53
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-b2a2a2bc7be6a41828284a5dd429bbb562ad680fc8d71df2ea0747d27c71be53
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-b2a2a2bc7be6a41828284a5dd429bbb562ad680fc8d71df2ea0747d27c71be53
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-b2a2a2bc7be6a41828284a5dd429bbb562ad680fc8d71df2ea0747d27c71be53
utbot-framework-api/src/main/kotlin/org/utbot/framework/UtSettings.kthttps://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-80d01989f2b4a8930154527824aed76ab56b038fb746dbf6255ba3a3f1024931
View file https://github.com/UnitTestBot/UTBotJava/blob/e896a309b357b80348fe5f4bf690fb000833653f/utbot-framework-api/src/main/kotlin/org/utbot/framework/UtSettings.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2710/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-80d01989f2b4a8930154527824aed76ab56b038fb746dbf6255ba3a3f1024931
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-80d01989f2b4a8930154527824aed76ab56b038fb746dbf6255ba3a3f1024931
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-80d01989f2b4a8930154527824aed76ab56b038fb746dbf6255ba3a3f1024931
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-80d01989f2b4a8930154527824aed76ab56b038fb746dbf6255ba3a3f1024931
utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api/Api.kthttps://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
View file https://github.com/UnitTestBot/UTBotJava/blob/e896a309b357b80348fe5f4bf690fb000833653f/utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api/Api.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2710/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
...-framework-api/src/main/kotlin/org/utbot/framework/plugin/api/mapper/UtModelDeepMapper.kthttps://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-f070395332ed354c2f3f31577f1277dfbea22a7624fd66f559d5804e9b3d663d
View file https://github.com/UnitTestBot/UTBotJava/blob/e896a309b357b80348fe5f4bf690fb000833653f/utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api/mapper/UtModelDeepMapper.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2710/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-f070395332ed354c2f3f31577f1277dfbea22a7624fd66f559d5804e9b3d663d
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-f070395332ed354c2f3f31577f1277dfbea22a7624fd66f559d5804e9b3d663d
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-f070395332ed354c2f3f31577f1277dfbea22a7624fd66f559d5804e9b3d663d
...in/kotlin/org/utbot/framework/plugin/api/mapper/UtModelSafeCastingCachingShallowMapper.kthttps://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-cbc15a70888abf50b28a1f8782f4bea7fc1b2dd61ed32da720d6e569a57ec287
View file https://github.com/UnitTestBot/UTBotJava/blob/e896a309b357b80348fe5f4bf690fb000833653f/utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api/mapper/UtModelSafeCastingCachingShallowMapper.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2710/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-cbc15a70888abf50b28a1f8782f4bea7fc1b2dd61ed32da720d6e569a57ec287
utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api/mapper/Utils.kthttps://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-a5ba5ed36de9141de768fc93af9570033129fa96b6de9cc1885da1fd318f3b16
View file https://github.com/UnitTestBot/UTBotJava/blob/e896a309b357b80348fe5f4bf690fb000833653f/utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api/mapper/Utils.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2710/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-a5ba5ed36de9141de768fc93af9570033129fa96b6de9cc1885da1fd318f3b16
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-a5ba5ed36de9141de768fc93af9570033129fa96b6de9cc1885da1fd318f3b16
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-a5ba5ed36de9141de768fc93af9570033129fa96b6de9cc1885da1fd318f3b16
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-a5ba5ed36de9141de768fc93af9570033129fa96b6de9cc1885da1fd318f3b16
utbot-framework-test/build.gradlehttps://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-064e4cbfe27eb86f4c13b8ac8e162cc7ce8ebd5c137b972b0d2a78288274a66b
View file https://github.com/UnitTestBot/UTBotJava/blob/e896a309b357b80348fe5f4bf690fb000833653f/utbot-framework-test/build.gradle
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2710/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-064e4cbfe27eb86f4c13b8ac8e162cc7ce8ebd5c137b972b0d2a78288274a66b
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-064e4cbfe27eb86f4c13b8ac8e162cc7ce8ebd5c137b972b0d2a78288274a66b
utbot-framework-test/src/test/kotlin/org/utbot/examples/arrays/ArrayOfArraysTest.kthttps://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-eaf81b9bfba144207da87bffd9ae2612c98161bced4d6ba5f846ec8529a00b8a
View file https://github.com/UnitTestBot/UTBotJava/blob/e896a309b357b80348fe5f4bf690fb000833653f/utbot-framework-test/src/test/kotlin/org/utbot/examples/arrays/ArrayOfArraysTest.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2710/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-eaf81b9bfba144207da87bffd9ae2612c98161bced4d6ba5f846ec8529a00b8a
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-eaf81b9bfba144207da87bffd9ae2612c98161bced4d6ba5f846ec8529a00b8a
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-eaf81b9bfba144207da87bffd9ae2612c98161bced4d6ba5f846ec8529a00b8a
utbot-framework-test/src/test/kotlin/org/utbot/examples/collections/MapEntrySetTest.kthttps://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-8eb648384999aff0202b3ee45587d61d0a5a797d70255c7788d7081aba69ca06
View file https://github.com/UnitTestBot/UTBotJava/blob/e896a309b357b80348fe5f4bf690fb000833653f/utbot-framework-test/src/test/kotlin/org/utbot/examples/collections/MapEntrySetTest.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2710/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-8eb648384999aff0202b3ee45587d61d0a5a797d70255c7788d7081aba69ca06
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-8eb648384999aff0202b3ee45587d61d0a5a797d70255c7788d7081aba69ca06
utbot-framework-test/src/test/kotlin/org/utbot/examples/enums/ClassWithEnumTest.kthttps://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-819c748bf785d2810d81fc6ecb1930f86cc4df14b03552897f9da5d312ec2039
View file https://github.com/UnitTestBot/UTBotJava/blob/e896a309b357b80348fe5f4bf690fb000833653f/utbot-framework-test/src/test/kotlin/org/utbot/examples/enums/ClassWithEnumTest.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2710/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-819c748bf785d2810d81fc6ecb1930f86cc4df14b03552897f9da5d312ec2039
https://github.com/UnitTestBot/UTBotJava/pull/2710/files#diff-819c748bf785d2810d81fc6ecb1930f86cc4df14b03552897f9da5d312ec2039
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2710/files
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.