René's URL Explorer Experiment


Title: Non-deterministic detection by SBOne-Kenobi · Pull Request #2246 · UnitTestBot/UTBotJava · GitHub

Open Graph Title: Non-deterministic detection by SBOne-Kenobi · Pull Request #2246 · UnitTestBot/UTBotJava

X Title: Non-deterministic detection by SBOne-Kenobi · Pull Request #2246 · UnitTestBot/UTBotJava

Description: Non-deterministic detection Created the possibility to detect and generate mocks for non-deterministic functions and objects. It reduces the number of flaky tests, especially from fuzzing. Description Fixes #1193 Added new instrumentation. Added new fields in results for found mocks in concrete and fuzzing. How to test Manual tests Run test generation on any class with Random usage. For instance class ClassWithRandom { public int rndSum(int x) { Random r = new Random(); return x + r.nextInt(); } } Expected that tests will be generated with mocks for Random class. Self-check list Check off the item if the statement is true. Hint: [x] is a marked item. Please do not delete the list or its items. 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: Non-deterministic detection Created the possibility to detect and generate mocks for non-deterministic functions and objects. It reduces the number of flaky tests, especially from fuzzing. Descript...

X Description: Non-deterministic detection Created the possibility to detect and generate mocks for non-deterministic functions and objects. It reduces the number of flaky tests, especially from fuzzing. Descript...

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

X: @github

direct link

Domain: github.com

route-pattern/:user_id/:repository/pull/:id/files(.:format)
route-controllerpull_requests
route-actionfiles
fetch-noncev2:77aa5a92-66b6-869a-fcf0-9eed19cc29c7
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idBC50:1FA359:1276A4:1867AD:698F6C94
html-safe-nonce7e23bb52f012e30a3f3e66551e02ec8a7e173602eb90582e60b86aeb83c5fe3f
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJCQzUwOjFGQTM1OToxMjc2QTQ6MTg2N0FEOjY5OEY2Qzk0IiwidmlzaXRvcl9pZCI6IjgzNTM1Mjg1OTQzODc5MjIwNjgiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmacc458340c160dd5bc62d1b44e4814df398afa4e0b1ff1b9e4baf63af16c862812
hovercard-subject-tagpull_request:1371783377
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/2246/files
twitter:imagehttps://avatars.githubusercontent.com/u/54807972?s=400&v=4
twitter:cardsummary_large_image
og:imagehttps://avatars.githubusercontent.com/u/54807972?s=400&v=4
og:image:altNon-deterministic detection Created the possibility to detect and generate mocks for non-deterministic functions and objects. It reduces the number of flaky tests, especially from fuzzing. Descript...
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
None7ab1c9acb90dba91d5e994ebfb6bfb1130e0e0e6aca329cdbbd934d636e22ab6
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
release1d6695367a1b2f05addc4030b791720f01693df4
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/UnitTestBot/UTBotJava/pull/2246/files#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fpull%2F2246%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%2F2246%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/2246/files
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/2246/files
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/2246/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
SBOne-Kenobihttps://github.com/SBOne-Kenobi
UnitTestBot:mainhttps://github.com/UnitTestBot/UTBotJava/tree/main
SBOne-Kenobi:sbone/non-deterministic-detectionhttps://github.com/SBOne-Kenobi/UTBotJava/tree/sbone/non-deterministic-detection
Conversation 1 https://github.com/UnitTestBot/UTBotJava/pull/2246
Commits 5 https://github.com/UnitTestBot/UTBotJava/pull/2246/commits
Checks 0 https://github.com/UnitTestBot/UTBotJava/pull/2246/checks
Files changed https://github.com/UnitTestBot/UTBotJava/pull/2246/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2246/files
Non-deterministic detection https://github.com/UnitTestBot/UTBotJava/pull/2246/files#top
Show all changes 5 commits https://github.com/UnitTestBot/UTBotJava/pull/2246/files
844b4d2 non-deterministic detection version 1 SBOne-Kenobi May 5, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2246/commits/844b4d295b2f9293e4ae7029ebd1a0db13844230
f464eeb add support longs and objects SBOne-Kenobi May 14, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2246/commits/f464eebcaad3b0828b19b2e71eba492777a6daac
4a2188a add rest primitives SBOne-Kenobi May 31, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2246/commits/4a2188af6e8dafc97b98784fece2a1518240dd18
ef6a6ba fix nd checking SBOne-Kenobi May 31, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2246/commits/ef6a6ba5948dcadcdb8f1920e5a6d4368833693c
e741e96 fix nd without loading class SBOne-Kenobi May 31, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2246/commits/e741e96b60bfe74ab84bf13569c54679128574b0
Clear filters https://github.com/UnitTestBot/UTBotJava/pull/2246/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2246/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2246/files
Api.kt https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
UtBotSymbolicEngine.kt https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-c98f4140e62e268dc10fc13fa079011d64b75049b55fc664ca43e6c4aa6f5280
CgMethodConstructor.kt https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-f21fcf8ebc717af1a3c8222c2bc4cfc38e1d5ae129bebf5126b42853e60b9e25
UtConcreteExecutionResultUtils.kt https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-e69dfc08d45ac806a9240526ff014ca5ba3e852d4cde1624b7c7d8cf21752aeb
UtExecutionInstrumentation.kt https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-d95bbc42231e55d229b078b41ca5965cdec56982da455f73f230940029fe06b8
UtModelConstructor.kt https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-ac902a15e98fc9d9371d11e394492cc29d14180f0f35bf91960838101a397a08
NonDeterministicBytecodeInserter.kt https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-b58c1dd41c26f817faf5ee65e49d182300dd69b407b00f94cd94cf50eeb64184
NonDeterministicClassVisitor.kt https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-038429d645c296fb4cd6fe456879be33098f2d5af3d8d56e7bcd1f5dc4f631cd
NonDeterministicDetector.kt https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-1f4a4a6745215a62a28fb5f30281f74e8f4b89dbcc896c1cca852c05c52b360a
NonDeterministicResultStorage.kt https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-14defad10a19d646daa6cfa945d59f06faa61aa99d2e8d9106f3506d44bee22d
ModelConstructionPhase.kt https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-1c208a20f2382c83669f0c9107fcddd79cfdaabeac3f2b2eca703b8364afcf5d
PreparationPhase.kt https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-e62e43c18c705f7098ec3e9ac030d6c5325e1a993438a2606bab95adb0563ac9
StatisticsCollectionPhase.kt https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-4405370355138eb6c08ffbeb49bfbbd50190b4f9991f2626de4acbf61d43992c
UtFuzzedExecution.kt https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-ab06ffb1ce5891673190cf2eafb58f9d8c19cdea37ec648b90560568d53e37ff
utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api/Api.kthttps://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
View file https://github.com/SBOne-Kenobi/UTBotJava/blob/e741e96b60bfe74ab84bf13569c54679128574b0/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/2246/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
utbot-framework/src/main/kotlin/org/utbot/engine/UtBotSymbolicEngine.kthttps://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-c98f4140e62e268dc10fc13fa079011d64b75049b55fc664ca43e6c4aa6f5280
View file https://github.com/SBOne-Kenobi/UTBotJava/blob/e741e96b60bfe74ab84bf13569c54679128574b0/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/2246/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-c98f4140e62e268dc10fc13fa079011d64b75049b55fc664ca43e6c4aa6f5280
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-c98f4140e62e268dc10fc13fa079011d64b75049b55fc664ca43e6c4aa6f5280
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-c98f4140e62e268dc10fc13fa079011d64b75049b55fc664ca43e6c4aa6f5280
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-c98f4140e62e268dc10fc13fa079011d64b75049b55fc664ca43e6c4aa6f5280
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-c98f4140e62e268dc10fc13fa079011d64b75049b55fc664ca43e6c4aa6f5280
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-c98f4140e62e268dc10fc13fa079011d64b75049b55fc664ca43e6c4aa6f5280
utbot-framework/src/main/kotlin/org/utbot/framework/codegen/tree/CgMethodConstructor.kthttps://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-f21fcf8ebc717af1a3c8222c2bc4cfc38e1d5ae129bebf5126b42853e60b9e25
View file https://github.com/SBOne-Kenobi/UTBotJava/blob/e741e96b60bfe74ab84bf13569c54679128574b0/utbot-framework/src/main/kotlin/org/utbot/framework/codegen/tree/CgMethodConstructor.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2246/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-f21fcf8ebc717af1a3c8222c2bc4cfc38e1d5ae129bebf5126b42853e60b9e25
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-f21fcf8ebc717af1a3c8222c2bc4cfc38e1d5ae129bebf5126b42853e60b9e25
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-f21fcf8ebc717af1a3c8222c2bc4cfc38e1d5ae129bebf5126b42853e60b9e25
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-f21fcf8ebc717af1a3c8222c2bc4cfc38e1d5ae129bebf5126b42853e60b9e25
utbot-framework/src/main/kotlin/org/utbot/framework/util/UtConcreteExecutionResultUtils.kthttps://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-e69dfc08d45ac806a9240526ff014ca5ba3e852d4cde1624b7c7d8cf21752aeb
View file https://github.com/SBOne-Kenobi/UTBotJava/blob/e741e96b60bfe74ab84bf13569c54679128574b0/utbot-framework/src/main/kotlin/org/utbot/framework/util/UtConcreteExecutionResultUtils.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2246/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-e69dfc08d45ac806a9240526ff014ca5ba3e852d4cde1624b7c7d8cf21752aeb
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-e69dfc08d45ac806a9240526ff014ca5ba3e852d4cde1624b7c7d8cf21752aeb
.../kotlin/org/utbot/instrumentation/instrumentation/execution/UtExecutionInstrumentation.kthttps://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-d95bbc42231e55d229b078b41ca5965cdec56982da455f73f230940029fe06b8
View file https://github.com/SBOne-Kenobi/UTBotJava/blob/e741e96b60bfe74ab84bf13569c54679128574b0/utbot-instrumentation/src/main/kotlin/org/utbot/instrumentation/instrumentation/execution/UtExecutionInstrumentation.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2246/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-d95bbc42231e55d229b078b41ca5965cdec56982da455f73f230940029fe06b8
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-d95bbc42231e55d229b078b41ca5965cdec56982da455f73f230940029fe06b8
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-d95bbc42231e55d229b078b41ca5965cdec56982da455f73f230940029fe06b8
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-d95bbc42231e55d229b078b41ca5965cdec56982da455f73f230940029fe06b8
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-d95bbc42231e55d229b078b41ca5965cdec56982da455f73f230940029fe06b8
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-d95bbc42231e55d229b078b41ca5965cdec56982da455f73f230940029fe06b8
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-d95bbc42231e55d229b078b41ca5965cdec56982da455f73f230940029fe06b8
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-d95bbc42231e55d229b078b41ca5965cdec56982da455f73f230940029fe06b8
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-d95bbc42231e55d229b078b41ca5965cdec56982da455f73f230940029fe06b8
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-d95bbc42231e55d229b078b41ca5965cdec56982da455f73f230940029fe06b8
...in/org/utbot/instrumentation/instrumentation/execution/constructors/UtModelConstructor.kthttps://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-ac902a15e98fc9d9371d11e394492cc29d14180f0f35bf91960838101a397a08
View file https://github.com/SBOne-Kenobi/UTBotJava/blob/e741e96b60bfe74ab84bf13569c54679128574b0/utbot-instrumentation/src/main/kotlin/org/utbot/instrumentation/instrumentation/execution/constructors/UtModelConstructor.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2246/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-ac902a15e98fc9d9371d11e394492cc29d14180f0f35bf91960838101a397a08
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-ac902a15e98fc9d9371d11e394492cc29d14180f0f35bf91960838101a397a08
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-ac902a15e98fc9d9371d11e394492cc29d14180f0f35bf91960838101a397a08
https://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-ac902a15e98fc9d9371d11e394492cc29d14180f0f35bf91960838101a397a08
...g/utbot/instrumentation/instrumentation/execution/ndd/NonDeterministicBytecodeInserter.kthttps://github.com/UnitTestBot/UTBotJava/pull/2246/files#diff-b58c1dd41c26f817faf5ee65e49d182300dd69b407b00f94cd94cf50eeb64184
View file https://github.com/SBOne-Kenobi/UTBotJava/blob/e741e96b60bfe74ab84bf13569c54679128574b0/utbot-instrumentation/src/main/kotlin/org/utbot/instrumentation/instrumentation/execution/ndd/NonDeterministicBytecodeInserter.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2246/{{ revealButtonHref }}
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2246/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.