René's URL Explorer Experiment


Title: Introduce utbot-usvm module and use it in contest by EgorkaKulikov · Pull Request #2715 · UnitTestBot/UTBotJava · GitHub

Open Graph Title: Introduce utbot-usvm module and use it in contest by EgorkaKulikov · Pull Request #2715 · UnitTestBot/UTBotJava

X Title: Introduce utbot-usvm module and use it in contest by EgorkaKulikov · Pull Request #2715 · UnitTestBot/UTBotJava

Description: Description Introduce utbot-usvm module and use it in contest to use it in utbot-framework How to test Manual tests Verify that ContestEstimator can still be run. 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 Introduce utbot-usvm module and use it in contest to use it in utbot-framework How to test Manual tests Verify that ContestEstimator can still be run. Self-check list I've set the...

X Description: Description Introduce utbot-usvm module and use it in contest to use it in utbot-framework How to test Manual tests Verify that ContestEstimator can still be run. Self-check list I've set...

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

X: @github

direct link

Domain: github.com

route-pattern/:user_id/:repository/pull/:id/files(.:format)
route-controllerpull_requests
route-actionfiles
fetch-noncev2:29001fc0-c8e6-9fcd-af8f-df12a25ee492
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idDB78:9F0EE:AE216:EEBBE:698F181A
html-safe-nonce9d9d12f6f97f713512355d1edfbf646b9029d67680828f6af661966e6a753132
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJEQjc4OjlGMEVFOkFFMjE2OkVFQkJFOjY5OEYxODFBIiwidmlzaXRvcl9pZCI6IjUwNzM3MDMzNzQ1ODAyOTE2MTAiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmac1bc0796e22018cc45431fdca5ee08bbd16f96e77f4e239b8bdb451f26ff0f46a
hovercard-subject-tagpull_request:1642420458
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/2715/files
twitter:imagehttps://avatars.githubusercontent.com/u/29856383?s=400&v=4
twitter:cardsummary_large_image
og:imagehttps://avatars.githubusercontent.com/u/29856383?s=400&v=4
og:image:altDescription Introduce utbot-usvm module and use it in contest to use it in utbot-framework How to test Manual tests Verify that ContestEstimator can still be run. Self-check list I've set the...
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
None2da1a0d1318592c9965539b12269c4641177dfabfc86c3807992efb13e1d96ff
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
releasec9646ffd6f86b00952c2b39e3c62e15904eff1e5
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/UnitTestBot/UTBotJava/pull/2715/files#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fpull%2F2715%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%2F2715%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/2715/files
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/2715/files
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/2715/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
egor/introduce_utbot_usvmhttps://github.com/UnitTestBot/UTBotJava/tree/egor/introduce_utbot_usvm
Conversation 4 https://github.com/UnitTestBot/UTBotJava/pull/2715
Commits 6 https://github.com/UnitTestBot/UTBotJava/pull/2715/commits
Checks 0 https://github.com/UnitTestBot/UTBotJava/pull/2715/checks
Files changed https://github.com/UnitTestBot/UTBotJava/pull/2715/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2715/files
Introduce utbot-usvm module and use it in contest https://github.com/UnitTestBot/UTBotJava/pull/2715/files#top
Show all changes 6 commits https://github.com/UnitTestBot/UTBotJava/pull/2715/files
784050e Introduce utbot-usvm EgorkaKulikov Dec 13, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2715/commits/784050e2911931c191b28c61cd2aa0d20cf56d2f
558506a Use utbot-usvm in utbot-junit-contest EgorkaKulikov Dec 13, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2715/commits/558506a42dd859c0570491acf9f3fd0aae84a1ea
a2e90a8 Move three more classes EgorkaKulikov Dec 13, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2715/commits/a2e90a8cb6ca063476b00930ca32621470b85a01
7bfaa48 Little cleanup EgorkaKulikov Dec 13, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2715/commits/7bfaa48356be6a335fc84f34191cb3fd9b8d8de9
379ad27 Some compilation fixes EgorkaKulikov Dec 13, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2715/commits/379ad27da91c75af964e73b127955e0e4672121b
c03ed4b Apply review fixes EgorkaKulikov Dec 13, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2715/commits/c03ed4b8a23b56d4e648dc0b0a5604a5da0332ec
Clear filters https://github.com/UnitTestBot/UTBotJava/pull/2715/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2715/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2715/files
gradle.properties https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-3d103fc7c312a3e136f88e81cef592424b8af2464c468116545c4d22d6edcf19
settings.gradle.kts https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-5625e3601fa0ad3a6a2824239e5a2fde71c149597d31394f9224a08c24be7b9d
IdGenerator.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-68df2fee50aa8e5db9e6df0d04fabf6e02c86e5f53c5b35f790215d40cbda7c3
Api.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
IdUtil.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-dbf2152ccdd59a6656de54c5ce6baf0f613b91030f2e7f1a516ba097e6c060c0
UtilMethodProvider.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-dfabf8bb4916307f8ce1c54ec837c31a2be1251e03ff164c3cf33eb02359d294
AssembleModelGeneratorTests.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-1cd00a4fefbada8be0418fec8dae188123f2504e8642229c775fe4464887b230
UtBotSymbolicEngine.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-c98f4140e62e268dc10fc13fa079011d64b75049b55fc664ca43e6c4aa6f5280
Domain.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-f955e9fbc6627a912b003d3c221b47f51087407eae521057a7e4ebb3275de39f
UtilMethodBuiltins.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-575836b928dc9caa1d8db9d34ca674c6c8436cee53e072342a2a02266409d34e
CgContext.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-7bc30c9e8c4e8fbc90b440f1252cd731d3fc23170f3f7465d2f1bb71f096d7bc
CgElement.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-46f86abf469277cb2ffeed558480afc1cc31f160b3775dd44f1f059be7f51032
CgRendererContext.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-507104f16623c28908b8824c81d4fb6ec390b5da178effbe5610abd8a07292bf
UtilMethodRenderer.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-2ca0fe3a1eddf6f4b587adc2d224232c15bcc2b824b802709f36859b8c772dd8
CgMethodConstructor.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-f21fcf8ebc717af1a3c8222c2bc4cfc38e1d5ae129bebf5126b42853e60b9e25
ConstructorUtils.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-52bc43a2b9e17ecffd3bc42f0cde981d5713318a8e78f14e55920b38687d21db
DslUtil.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-8914d22238856fcf4970317a8a782393f9fb4ae1795811244749cdd91cdedd90
ConcreteExecutionContext.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-7c971a5c295345931a1cad095841230396f668e60272bca8b708ade2dd1fc626
JavaFuzzingContext.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-0432d88a3142fab41c03009c800ccd28439836f63a0bc47675b8b98c07c12f08
SimpleJavaFuzzingContext.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-bd41ad71ac50cc4afa0fdffd4db4c3b6e88a67a33ceffd7172d48e99dab48285
FuzzedType.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-19aad46f1f4cd623aa85f50b437ba43a22bb0e6da91ab662c532fe54212c7850
FuzzedValue.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-7987c4e7289bbdc5de214c18e2f6fe287fc40bcfca2dc1cbf1497b246a109f6e
JavaLanguage.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-635e23b25360373e9e2e68a9c090b280f5eb11329c049d4980ac7df6358eff77
Arrays.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-b064b3f481812c85fcd21919edbb7060f48a261b859c03b7ca132069152b98c1
Collections.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-78d769e269f40d2150135ff4e8078dbfd75bbbfe8c2aa994e44f06a600e6f925
Enums.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-4e82350184bd4186eb2a530618669fcfb4fcad0076b1434172ea4ab6c7863ff2
Objects.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-165e168ffcff30b74cbef101f4e2c5a1cbd99457e10f54d7e0f269ecfa5c921d
Others.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-f137fff82e3a3499c9e592562f1740cb647327c63374a8ac61565ff17b822994
GeneratedField.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-b16f328ec8d7a50bda8374ed683c12c029818e1ffac8fe58a73f8fcf94883b88
SpringBeanValueProvider.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-5798a494192b22fe250f25a5135352eb79ab0672ed5d8a1f60fbceafb2c565a0
InjectMocks.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-03aa0f25a2b4c38c60204bb0293be341c780514ddd6a02da53daf3d86258198a
Mocks.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-24fb13263f8485f1be95d5c53e84f94f41113b2d6239d0ee73422b76bb3487ae
ValidEntity.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-4ad75f0e890df9e42acbcabdfa1ac3e61270b089fb022a2a89ee94bcfaf8bfc6
IdGeneratorTest.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-cf521d3ab149b4bf84349c0432195a430d0b117e2a5b8ffff181fbd5b358047d
JavaFuzzingTest.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-387262e2517719ca0c157d5919f4cd70cda37bf0aeda39ae8ef5ccad317a37e8
build.gradle https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-47383174a579d2c1e494eb478c60b02c4782277f4e14a2219a50295a996865c0
Contest.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-0f65b8e33cb86fc8ff46a07bb6d99212507bfd53fab70fe3d1c29cb542d8cd5e
ContestEstimator.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-dbfee3223c54a572e97ddd175be541dbafac4bb96b73d1124ba851349ac68f01
ContestUsvm.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-a3360e91f04b005038834b8b5259e58dcea9415be7b15d0c7a9443f6ca52b81b
SpringIntegrationTestJavaFuzzingContext.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-dc55b05e1ab9a87462c2e4a5fc613981b9a4477c168b4336fc9ccc2837f6f6de
build.gradle.kts https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-2795ea421db13200d3ddf183f624bb5289e0532187e07f42df8e4cf1b9dc64db
ConverterUtils.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-6b3de7acb43716db1be0031fe0d4c4bb2aad8c53436a1bda7ac15990c5d1c552
InstructionIdProvider.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-c0590514ad39a04ff314d6819483c4d23254e0fddc353bec08b84b516420d723
JcToUtExecutionConverter.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-7d1a735a689af24f12de4bb29cc57bb74f9a3142c11b4b897b0e3d5faba907a5
JcToUtModelConverter.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-93445876e42f59a3a41973ab71e423984cca352ee7bb1c4d07cdee9a1c647962
UTestInstToUtModelConverter.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-b299ffeeb9377e9ba3aa5c6bb5c0570892cea9d29f198915132b03b0be853c05
UTestValueDescriptorUtils.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-388f35b0a711ef4f19ec953f3f233e05f6cb0ee7627d88c4d7e5d3e2bd2a5039
UtUsvmExecution.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-d5c469e57263f52e0978acedefa1a8f07aa505b0c8d9744d438d02c60c4c6553
JcContainer.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-146173652851623c6e41591237e6ec62da0395031bb73e438cb1c82b9337d30b
JcExecution.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-6daa660688ceef2d15df625cf8745cc213d732fa3a32ffc633f6a61b3fa6812b
JcTestExecutor.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-2741ffa595bf4774d0cc63b14c0433054e720d5f6a8a1b160e73da199f841fed
JcTestExecutorDecoderApi.kt https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-97b014b6ee612da9316951eecaa039855e2f78bc69cbeccaf3670444dd0c6b78
gradle.propertieshttps://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-3d103fc7c312a3e136f88e81cef592424b8af2464c468116545c4d22d6edcf19
View file https://github.com/UnitTestBot/UTBotJava/blob/c03ed4b8a23b56d4e648dc0b0a5604a5da0332ec/gradle.properties
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2715/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-3d103fc7c312a3e136f88e81cef592424b8af2464c468116545c4d22d6edcf19
https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-3d103fc7c312a3e136f88e81cef592424b8af2464c468116545c4d22d6edcf19
settings.gradle.ktshttps://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-5625e3601fa0ad3a6a2824239e5a2fde71c149597d31394f9224a08c24be7b9d
View file https://github.com/UnitTestBot/UTBotJava/blob/c03ed4b8a23b56d4e648dc0b0a5604a5da0332ec/settings.gradle.kts
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2715/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-5625e3601fa0ad3a6a2824239e5a2fde71c149597d31394f9224a08c24be7b9d
https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-5625e3601fa0ad3a6a2824239e5a2fde71c149597d31394f9224a08c24be7b9d
...in/kotlin/org/utbot/fuzzer/IdGenerator.kt → ...org/utbot/framework/fuzzer/IdGenerator.kthttps://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-68df2fee50aa8e5db9e6df0d04fabf6e02c86e5f53c5b35f790215d40cbda7c3
View file https://github.com/UnitTestBot/UTBotJava/blob/c03ed4b8a23b56d4e648dc0b0a5604a5da0332ec/utbot-framework-api/src/main/kotlin/org/utbot/framework/fuzzer/IdGenerator.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2715/{{ revealButtonHref }}
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2715/files
https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-68df2fee50aa8e5db9e6df0d04fabf6e02c86e5f53c5b35f790215d40cbda7c3
https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-68df2fee50aa8e5db9e6df0d04fabf6e02c86e5f53c5b35f790215d40cbda7c3
utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api/Api.kthttps://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
View file https://github.com/UnitTestBot/UTBotJava/blob/c03ed4b8a23b56d4e648dc0b0a5604a5da0332ec/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/2715/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api/util/IdUtil.kthttps://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-dbf2152ccdd59a6656de54c5ce6baf0f613b91030f2e7f1a516ba097e6c060c0
View file https://github.com/UnitTestBot/UTBotJava/blob/c03ed4b8a23b56d4e648dc0b0a5604a5da0332ec/utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api/util/IdUtil.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2715/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-dbf2152ccdd59a6656de54c5ce6baf0f613b91030f2e7f1a516ba097e6c060c0
https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-dbf2152ccdd59a6656de54c5ce6baf0f613b91030f2e7f1a516ba097e6c060c0
utbot-framework-api/src/main/kotlin/org/utbot/framework/utils/UtilMethodProvider.kthttps://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-dfabf8bb4916307f8ce1c54ec837c31a2be1251e03ff164c3cf33eb02359d294
View file https://github.com/UnitTestBot/UTBotJava/blob/c03ed4b8a23b56d4e648dc0b0a5604a5da0332ec/utbot-framework-api/src/main/kotlin/org/utbot/framework/utils/UtilMethodProvider.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2715/{{ revealButtonHref }}
...ramework-test/src/test/kotlin/org/utbot/framework/assemble/AssembleModelGeneratorTests.kthttps://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-1cd00a4fefbada8be0418fec8dae188123f2504e8642229c775fe4464887b230
View file https://github.com/UnitTestBot/UTBotJava/blob/c03ed4b8a23b56d4e648dc0b0a5604a5da0332ec/utbot-framework-test/src/test/kotlin/org/utbot/framework/assemble/AssembleModelGeneratorTests.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2715/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-1cd00a4fefbada8be0418fec8dae188123f2504e8642229c775fe4464887b230
https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-1cd00a4fefbada8be0418fec8dae188123f2504e8642229c775fe4464887b230
https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-1cd00a4fefbada8be0418fec8dae188123f2504e8642229c775fe4464887b230
utbot-framework/src/main/kotlin/org/utbot/engine/UtBotSymbolicEngine.kthttps://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-c98f4140e62e268dc10fc13fa079011d64b75049b55fc664ca43e6c4aa6f5280
View file https://github.com/UnitTestBot/UTBotJava/blob/c03ed4b8a23b56d4e648dc0b0a5604a5da0332ec/utbot-framework/src/main/kotlin/org/utbot/engine/UtBotSymbolicEngine.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2715/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-c98f4140e62e268dc10fc13fa079011d64b75049b55fc664ca43e6c4aa6f5280
https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-c98f4140e62e268dc10fc13fa079011d64b75049b55fc664ca43e6c4aa6f5280
utbot-framework/src/main/kotlin/org/utbot/framework/codegen/domain/Domain.kthttps://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-f955e9fbc6627a912b003d3c221b47f51087407eae521057a7e4ebb3275de39f
View file https://github.com/UnitTestBot/UTBotJava/blob/c03ed4b8a23b56d4e648dc0b0a5604a5da0332ec/utbot-framework/src/main/kotlin/org/utbot/framework/codegen/domain/Domain.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2715/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-f955e9fbc6627a912b003d3c221b47f51087407eae521057a7e4ebb3275de39f
https://github.com/UnitTestBot/UTBotJava/pull/2715/files#diff-f955e9fbc6627a912b003d3c221b47f51087407eae521057a7e4ebb3275de39f
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2715/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.