René's URL Explorer Experiment


Title: Solver optimizations by CaelmBleidd · Pull Request #1265 · UnitTestBot/UTBotJava · GitHub

Open Graph Title: Solver optimizations by CaelmBleidd · Pull Request #1265 · UnitTestBot/UTBotJava

X Title: Solver optimizations by CaelmBleidd · Pull Request #1265 · UnitTestBot/UTBotJava

Description: Description This request improves performance of the engine by removing some constraints from the queries to a solver. Type of Change Breaking change (fix or feature that would cause existing functionality to not work as expected) How Has This Been Tested? Automated Testing The whole pipeline is working fine, runs using contestEstimator didn't find any new issues Manual Scenario It was not tested manually. Checklist: The change followed the style guidelines of the UTBot project Self-review of the code is passed The change contains enough commentaries, particularly in hard-to-understand areas New documentation is provided or existed one is altered No new warnings New tests have been added All tests pass locally with my changes

Open Graph Description: Description This request improves performance of the engine by removing some constraints from the queries to a solver. Type of Change Breaking change (fix or feature that would cause existing func...

X Description: Description This request improves performance of the engine by removing some constraints from the queries to a solver. Type of Change Breaking change (fix or feature that would cause existing func...

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

X: @github

direct link

Domain: github.com

route-pattern/:user_id/:repository/pull/:id/files(.:format)
route-controllerpull_requests
route-actionfiles
fetch-noncev2:05873c6d-e2f5-b735-47fe-538336e8c87c
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idE1FE:16944C:CBBA5E:113ECCE:698E45EC
html-safe-nonce3a93a04d632b5c7f9d3685c7decbb5790f8452c913c276b6ad824418cea9f53b
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJFMUZFOjE2OTQ0QzpDQkJBNUU6MTEzRUNDRTo2OThFNDVFQyIsInZpc2l0b3JfaWQiOiI4NzA1NTk0MjU3NzExMTg3NDM3IiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmac396bd9558422849b28efcc6fa8ee5128c1060c337074c604833ec7b2978086c9
hovercard-subject-tagpull_request:1105116708
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/1265/files
twitter:imagehttps://avatars.githubusercontent.com/u/31047452?s=400&v=4
twitter:cardsummary_large_image
og:imagehttps://avatars.githubusercontent.com/u/31047452?s=400&v=4
og:image:altDescription This request improves performance of the engine by removing some constraints from the queries to a solver. Type of Change Breaking change (fix or feature that would cause existing func...
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
Nonea5632af64f7fed7bff1d6a428d1aca1b94fa7a48f760de2d39d9b1effdbf0082
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
release3dda52e29a416820ced574e74040033b820613a2
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/UnitTestBot/UTBotJava/pull/1265/files#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fpull%2F1265%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%2F1265%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/1265/files
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/1265/files
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/1265/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
CaelmBleiddhttps://github.com/CaelmBleidd
mainhttps://github.com/UnitTestBot/UTBotJava/tree/main
caelmbleidd/optimizationshttps://github.com/UnitTestBot/UTBotJava/tree/caelmbleidd/optimizations
Conversation 6 https://github.com/UnitTestBot/UTBotJava/pull/1265
Commits 4 https://github.com/UnitTestBot/UTBotJava/pull/1265/commits
Checks 0 https://github.com/UnitTestBot/UTBotJava/pull/1265/checks
Files changed https://github.com/UnitTestBot/UTBotJava/pull/1265/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/1265/files
Solver optimizations https://github.com/UnitTestBot/UTBotJava/pull/1265/files#top
Show all changes 4 commits https://github.com/UnitTestBot/UTBotJava/pull/1265/files
9a08b82 Solver optimizations CaelmBleidd Oct 31, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1265/commits/9a08b825e4f8098d087fc8e8abc2835dc431370d
f4b7a76 Soot class comparison fix CaelmBleidd Nov 1, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1265/commits/f4b7a761d571bc3bebcd03bf3d8a5edeabe2ed6d
bf326f3 Add a comment about fallbacks for types CaelmBleidd Nov 1, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1265/commits/bf326f38b24a8937fe0b82e98574b3d753e36936
a38d250 Review fixes CaelmBleidd Nov 1, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1265/commits/a38d250333d3d12996e28923a324d79b5a7f05f0
Clear filters https://github.com/UnitTestBot/UTBotJava/pull/1265/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/1265/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/1265/files
UtSettings.kt https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-80d01989f2b4a8930154527824aed76ab56b038fb746dbf6255ba3a3f1024931
ArrayOfArraysTest.kt https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-eaf81b9bfba144207da87bffd9ae2612c98161bced4d6ba5f846ec8529a00b8a
PrivateConstructorExampleTest.kt https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-a46320d83500bbbb1d9a54adc8a558a78ac71b323cd6efab90268b33ccde0f4f
ArrayObjectWrappers.kt https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-a81d8dddb90965a588330c7b951bcdd25c0586c8edc386652de07bb76cab1757
ConstructedSootMethods.kt https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-84737f45a412d14ca9ac2b2d340fc6612ef91fac176f3fdf3bbc9dfa881ad579
DataClasses.kt https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-93c6bd7b0f6ac2190db154824a7cbce5472330728b212900d872b747137ec057
ExecutionState.kt https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-61446c368ae4072eaa575eaff4ea187951a21fa4e90f6c6b578a8af81bcc6b13
Extensions.kt https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-7c20e1c61c02941e4414038ec9ce4f4cff3cfce4becf0885e80d25b0e0cada54
Hierarchy.kt https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-09a9c05edf4a0aff73c091ff61dfe0a35000b5c3ed8ef72c3fc98c2df0085061
Memory.kt https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-3f76502cdbc1625fb82fc4c393730cfb375972de758e0d2e01e58d82dba71a39
Mocks.kt https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-9fb9ad644d2bfa2deebaee7e6e842a87e9adc9395e7a33eebd97fbb8bd701e95
Resolver.kt https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-d00f6ba01d4164d471e5f9e1acae2d189d719ffad67d22a1b8e63c452f036b51
Strings.kt https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-b3855159a711f2e656d98b07e65fdcbd1173337dcf2f0dcb20032aeb552f1980
Traverser.kt https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-657e30b4ad80a14a39f8e9c91246b87e017c55d517688569faa2ee63393afe46
UtBotSymbolicEngine.kt https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-c98f4140e62e268dc10fc13fa079011d64b75049b55fc664ca43e6c4aa6f5280
UtSolver.kt https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-7410760676616b12aef447f89e3f42a1969e7ece82916557269f6f050eb9fe2d
UtSort.kt https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-591bb6deb34ae6fce32f869db4668dfe5aa5ee8f8a199116245070cf1c1cb196
Z3TranslatorVisitor.kt https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-79daf9e46b5b79e538e072f8e571fad27684a2793cf9c737528251cedbb20527
PathSelectorBuilder.kt https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-e1fdaff5a3b720dd634db0faee5bb9831c75a1493ba7e044aaeb64cb5d5ac4c9
InheritorsSelector.kt https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-f3b6b45cc3ff30852cac425e0ccbeb2b9f88a1d21d17866a21f980b0b03e5c56
DistanceStatistics.kt https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-de0426bea3a7721463634edba0ce12a9066a119e1bbc3286484336ff1fa57219
EdgeVisitCountingStatistics.kt https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-3800786a88656558fe26f63c01da0c640ce5417a7892f6f120ae8263cb10f180
TypeRegistry.kt https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-4d8f4ce6a81ebd03a7f69db563c9bcb405df245f2bf9d542b944bc5ea9837ab0
TypeResolver.kt https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-a98d7fc8d4487971363b2dfb7762a9383ee8a074688c0f9e6d3bca4b43150a3a
EnumConcreteUtils.kt https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-fa47a4ad6b2dcef5972edd548a6b80c4d661997a535854f9fbd283ac8afd45b3
utbot-framework-api/src/main/kotlin/org/utbot/framework/UtSettings.kthttps://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-80d01989f2b4a8930154527824aed76ab56b038fb746dbf6255ba3a3f1024931
View file https://github.com/UnitTestBot/UTBotJava/blob/a38d250333d3d12996e28923a324d79b5a7f05f0/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/1265/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-80d01989f2b4a8930154527824aed76ab56b038fb746dbf6255ba3a3f1024931
https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-80d01989f2b4a8930154527824aed76ab56b038fb746dbf6255ba3a3f1024931
utbot-framework-test/src/test/kotlin/org/utbot/examples/arrays/ArrayOfArraysTest.kthttps://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-eaf81b9bfba144207da87bffd9ae2612c98161bced4d6ba5f846ec8529a00b8a
View file https://github.com/UnitTestBot/UTBotJava/blob/a38d250333d3d12996e28923a324d79b5a7f05f0/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/1265/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-eaf81b9bfba144207da87bffd9ae2612c98161bced4d6ba5f846ec8529a00b8a
https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-eaf81b9bfba144207da87bffd9ae2612c98161bced4d6ba5f846ec8529a00b8a
https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-eaf81b9bfba144207da87bffd9ae2612c98161bced4d6ba5f846ec8529a00b8a
...-framework-test/src/test/kotlin/org/utbot/examples/mixed/PrivateConstructorExampleTest.kthttps://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-a46320d83500bbbb1d9a54adc8a558a78ac71b323cd6efab90268b33ccde0f4f
View file https://github.com/UnitTestBot/UTBotJava/blob/a38d250333d3d12996e28923a324d79b5a7f05f0/utbot-framework-test/src/test/kotlin/org/utbot/examples/mixed/PrivateConstructorExampleTest.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/1265/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-a46320d83500bbbb1d9a54adc8a558a78ac71b323cd6efab90268b33ccde0f4f
https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-a46320d83500bbbb1d9a54adc8a558a78ac71b323cd6efab90268b33ccde0f4f
utbot-framework/src/main/kotlin/org/utbot/engine/ArrayObjectWrappers.kthttps://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-a81d8dddb90965a588330c7b951bcdd25c0586c8edc386652de07bb76cab1757
View file https://github.com/UnitTestBot/UTBotJava/blob/a38d250333d3d12996e28923a324d79b5a7f05f0/utbot-framework/src/main/kotlin/org/utbot/engine/ArrayObjectWrappers.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/1265/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-a81d8dddb90965a588330c7b951bcdd25c0586c8edc386652de07bb76cab1757
https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-a81d8dddb90965a588330c7b951bcdd25c0586c8edc386652de07bb76cab1757
utbot-framework/src/main/kotlin/org/utbot/engine/ConstructedSootMethods.kthttps://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-84737f45a412d14ca9ac2b2d340fc6612ef91fac176f3fdf3bbc9dfa881ad579
View file https://github.com/UnitTestBot/UTBotJava/blob/a38d250333d3d12996e28923a324d79b5a7f05f0/utbot-framework/src/main/kotlin/org/utbot/engine/ConstructedSootMethods.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/1265/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-84737f45a412d14ca9ac2b2d340fc6612ef91fac176f3fdf3bbc9dfa881ad579
utbot-framework/src/main/kotlin/org/utbot/engine/DataClasses.kthttps://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-93c6bd7b0f6ac2190db154824a7cbce5472330728b212900d872b747137ec057
View file https://github.com/UnitTestBot/UTBotJava/blob/a38d250333d3d12996e28923a324d79b5a7f05f0/utbot-framework/src/main/kotlin/org/utbot/engine/DataClasses.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/1265/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-93c6bd7b0f6ac2190db154824a7cbce5472330728b212900d872b747137ec057
https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-93c6bd7b0f6ac2190db154824a7cbce5472330728b212900d872b747137ec057
https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-93c6bd7b0f6ac2190db154824a7cbce5472330728b212900d872b747137ec057
https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-93c6bd7b0f6ac2190db154824a7cbce5472330728b212900d872b747137ec057
https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-93c6bd7b0f6ac2190db154824a7cbce5472330728b212900d872b747137ec057
https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-93c6bd7b0f6ac2190db154824a7cbce5472330728b212900d872b747137ec057
utbot-framework/src/main/kotlin/org/utbot/engine/ExecutionState.kthttps://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-61446c368ae4072eaa575eaff4ea187951a21fa4e90f6c6b578a8af81bcc6b13
View file https://github.com/UnitTestBot/UTBotJava/blob/a38d250333d3d12996e28923a324d79b5a7f05f0/utbot-framework/src/main/kotlin/org/utbot/engine/ExecutionState.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/1265/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-61446c368ae4072eaa575eaff4ea187951a21fa4e90f6c6b578a8af81bcc6b13
https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-61446c368ae4072eaa575eaff4ea187951a21fa4e90f6c6b578a8af81bcc6b13
utbot-framework/src/main/kotlin/org/utbot/engine/Extensions.kthttps://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-7c20e1c61c02941e4414038ec9ce4f4cff3cfce4becf0885e80d25b0e0cada54
View file https://github.com/UnitTestBot/UTBotJava/blob/a38d250333d3d12996e28923a324d79b5a7f05f0/utbot-framework/src/main/kotlin/org/utbot/engine/Extensions.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/1265/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-7c20e1c61c02941e4414038ec9ce4f4cff3cfce4becf0885e80d25b0e0cada54
https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-7c20e1c61c02941e4414038ec9ce4f4cff3cfce4becf0885e80d25b0e0cada54
https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-7c20e1c61c02941e4414038ec9ce4f4cff3cfce4becf0885e80d25b0e0cada54
https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-7c20e1c61c02941e4414038ec9ce4f4cff3cfce4becf0885e80d25b0e0cada54
utbot-framework/src/main/kotlin/org/utbot/engine/Hierarchy.kthttps://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-09a9c05edf4a0aff73c091ff61dfe0a35000b5c3ed8ef72c3fc98c2df0085061
View file https://github.com/UnitTestBot/UTBotJava/blob/a38d250333d3d12996e28923a324d79b5a7f05f0/utbot-framework/src/main/kotlin/org/utbot/engine/Hierarchy.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/1265/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/1265/files#diff-09a9c05edf4a0aff73c091ff61dfe0a35000b5c3ed8ef72c3fc98c2df0085061
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/1265/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.