René's URL Explorer Experiment


Title: Сonstraint model synthesis by AbdullinAM · Pull Request #966 · UnitTestBot/UTBotJava · GitHub

Open Graph Title: Сonstraint model synthesis by AbdullinAM · Pull Request #966 · UnitTestBot/UTBotJava

X Title: Сonstraint model synthesis by AbdullinAM · Pull Request #966 · UnitTestBot/UTBotJava

Description: Description Constrained model synthesis prototype. It tries to generate UtAssembleModel that creates an object using it's public API for each argument of the method under test. Type of Change New feature (non-breaking change which adds functionality) How Has This Been Tested? Automated Testing Feature was tested on open-source projects: exp4j, guava, fastjson, etc. Also SynthesisExamplesTest was added. Manual Scenario Example class org.utbot.examples.synthesis.SynthesisExamples was added to the utbot-sample module. Running UtBot on the methods from that class with UtSettings.enableSynthesis set to true should show several scenarios of how constrained model synthesis allows to generate test cases that use public API of the objects Checklist (remove irrelevant options): This is the author self-check list 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 Constrained model synthesis prototype. It tries to generate UtAssembleModel that creates an object using it's public API for each argument of the method under test. Type of Change N...

X Description: Description Constrained model synthesis prototype. It tries to generate UtAssembleModel that creates an object using it's public API for each argument of the method under test. Type of Chan...

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

X: @github

direct link

Domain: github.com

route-pattern/:user_id/:repository/pull/:id/files(.:format)
route-controllerpull_requests
route-actionfiles
fetch-noncev2:51e0b20e-3dc5-557f-d131-aa927a2d4254
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idE97E:98613:C46E1B:105037D:698F88EB
html-safe-noncea93b501ef5f5ac5d92b3cf66a610e82eb534e9002f810b2a9c7cccfc0fb1465a
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJFOTdFOjk4NjEzOkM0NkUxQjoxMDUwMzdEOjY5OEY4OEVCIiwidmlzaXRvcl9pZCI6IjQ5MTU2Mzk5OTU1MDIxMjMzMSIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmac650ba9d96e3e200590b28117472d0cb4009283203ae2cee270a45eeb196879e5
hovercard-subject-tagpull_request:1060380217
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/966/files
twitter:imagehttps://avatars.githubusercontent.com/u/14182738?s=400&v=4
twitter:cardsummary_large_image
og:imagehttps://avatars.githubusercontent.com/u/14182738?s=400&v=4
og:image:altDescription Constrained model synthesis prototype. It tries to generate UtAssembleModel that creates an object using it's public API for each argument of the method under test. Type of Change N...
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
None4763146d672e989a41c6c0bd715790c0c59341d9f855508c8a3196e1e480b8f7
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
release38243223a284e53debe5a0f476578cf4a0521de7
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/UnitTestBot/UTBotJava/pull/966/files#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fpull%2F966%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%2F966%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/966/files
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/966/files
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/966/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
AbdullinAMhttps://github.com/AbdullinAM
UnitTestBot:mainhttps://github.com/UnitTestBot/UTBotJava/tree/main
AbdullinAM:abdullin/constraint-model-synthesishttps://github.com/AbdullinAM/UTBotJava/tree/abdullin/constraint-model-synthesis
Conversation 2 https://github.com/UnitTestBot/UTBotJava/pull/966
Commits 45 https://github.com/UnitTestBot/UTBotJava/pull/966/commits
Checks 0 https://github.com/UnitTestBot/UTBotJava/pull/966/checks
Files changed https://github.com/UnitTestBot/UTBotJava/pull/966/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/966/files
Сonstraint model synthesis https://github.com/UnitTestBot/UTBotJava/pull/966/files#top
Show all changes 45 commits https://github.com/UnitTestBot/UTBotJava/pull/966/files
fb0adca Draft: model synthesis Jun 20, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/fb0adcaaff53ea645e9a6d553617049cd26df457
11c47d9 m AbdullinAM Jun 20, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/11c47d95232697a1e31b2521caa73d0dff7d1aa2
4aaa8e5 first prototype, needs debugging and tuning AbdullinAM Jun 22, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/4aaa8e5493f9d0058c7594ada03c17fe6169ba26
9c63ba0 prototype AbdullinAM Jun 28, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/9c63ba0ca5ac1f60fd84b48e131ab3e86c0a7f25
707fa6d refactor AbdullinAM Jun 29, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/707fa6d9628bc832d2d7a8aaa61f932296d4dff5
10c4193 very early prototype AbdullinAM Jul 8, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/10c4193b1273581281860614956cc7c18e8d25ac
4285a5c UtConstraintModel implemented AbdullinAM Jul 12, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/4285a5c0c8e49fc747cefa893cbbb046db328ed8
22e2266 partial UtConstraint to UtExpression convertion AbdullinAM Jul 14, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/22e22666f3bac9d01fde39e98d04ed3fae2f444b
6b47a9a working prototypes AbdullinAM Jul 19, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/6b47a9a66fb910d421f76c70bf5bb777165fa26b
a75a840 bugfixes + expression support in constraints AbdullinAM Jul 21, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/a75a840230acf7a7109a15a6a6c3f71a9015cb0a
fb392f6 m AbdullinAM Jul 26, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/fb392f675d77fdb0fde95c61b89b4c38e041746f
5f35311 everything kind of works, but some constraints need to be added AbdullinAM Jul 27, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/5f3531133208580a5a0b8e7d086321cd6e300c00
ba9bb62 first working protoype with arrays AbdullinAM Aug 1, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/ba9bb6281c3c042c41096c8cfe38f61759f8b4f3
065924f renaming AbdullinAM Aug 1, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/065924fa77d66d03e9e4d23aba50b85238ba4769
8cc7515 first tests and fixes AbdullinAM Aug 2, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/8cc7515fc4e7452a30ba81c24d94a091ff156411
4a14606 more expressions supported AbdullinAM Aug 3, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/4a14606d099cf5c918aef66522a5dc9f2cb244df
bbf525b some cleanup + more expressions supported AbdullinAM Aug 8, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/bbf525b4326dbe1ae4fc4c7ad90a1658c7d0158c
850b530 cleanup AbdullinAM Aug 8, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/850b530e12272e7184dc0e1cfba707c8767b9314
8799691 support for multidimensional arrays + fix for array generation AbdullinAM Aug 9, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/8799691c717acc36ea98462181b072b3e2705f90
60df4a4 first support of lists AbdullinAM Aug 10, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/60df4a42393ba0ca8fe97f89cdd7c58d5afc8506
8963a7e support sets AbdullinAM Aug 10, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/8963a7ea2211825717eb388901757998e66bc6dd
1578c96 small refactorings AbdullinAM Aug 11, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/1578c96ff4799f5db8eea7793d17e2928278c42a
1dd4b25 maps AbdullinAM Aug 12, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/1dd4b25234138be7e73260965dd6a8f807275424
313757d some cleanup and parameters AbdullinAM Aug 12, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/313757df851103449afa5d1207b30f8100c118f2
faa0047 test write fix AbdullinAM Aug 12, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/faa00475b3847b8f60ce35325257c85866387ed4
94740c9 m AbdullinAM Aug 22, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/94740c95953a9393b3022b6c4baf1db7a14500ba
9920283 Merge branch 'main' into abdullin/constraint-model-synthesis AbdullinAM Aug 22, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/992028341519a6f7724410658c11f63bd8b6d83f
fd22077 merge with master AbdullinAM Aug 24, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/fd2207752fa5e7393e26e6b5d919086feba8191d
4e97b5f first prototype of constraint scoring selector AbdullinAM Aug 26, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/4e97b5f19f5356c231e12ec770e9024fcf2b16f7
2544b31 m AbdullinAM Aug 30, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/2544b3185eeae1d239a3808d5625d712a0575fac
e585371 fixes AbdullinAM Aug 31, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/e5853711582ec327c7fd16c76cd2be0f7cc2eb05
d2564e9 Merge branch 'main' into abdullin/constraint-model-synthesis AbdullinAM Sep 7, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/d2564e956254a849e3303ec6c206672746b9b200
bb1acbc Merge branch 'main' into abdullin/constraint-model-synthesis AbdullinAM Sep 7, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/bb1acbc478ff192fd7b6d5746ed7c99f0febf826
c6fbeb0 Split constraint models into a set of non-intersecting subsets before… AbdullinAM Sep 12, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/c6fbeb06aa746dafbb9aa640b3d99b5d2733bac3
2553ef7 m AbdullinAM Sep 12, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/2553ef7ce929c6cfde388393850afd2b003c0abb
e943a16 some cleanup AbdullinAM Sep 13, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/e943a16162f80542834d2f0cb154e5554079dd2f
cd5fff8 more cleanup AbdullinAM Sep 13, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/cd5fff89b46d6c1b30cc73047fd0e801459ea3f7
c2a7d31 order models in the subsets AbdullinAM Sep 13, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/c2a7d31a045077a82fdaf9316a03006ce8334e7b
d1b09c8 simple caching of synthesis unit contexts AbdullinAM Sep 13, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/d1b09c8e7935518c89105a45f8200d27c4812b14
eedccb9 option to enable/disable caching of synthesis contexts AbdullinAM Sep 14, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/eedccb99d3803e5f139996747c9f5464c8594d91
11eea4d m AbdullinAM Sep 14, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/11eea4d14af273736b7ad1665fd2cf08a6da8dab
9712e70 tests AbdullinAM Sep 14, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/9712e7030fd08dd5c7d4bce7e37d1965680a6b53
1c6b679 unit tests fixed AbdullinAM Sep 19, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/1c6b679470ba8fd609cb341141588c701d3ee784
4e37763 Merge branch 'main' into abdullin/constraint-model-synthesis AbdullinAM Sep 28, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/4e377632bc86dec61101a564c03c5598bbf00aae
34ed6fe merge with main AbdullinAM Sep 28, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966/commits/34ed6fefcb958c05848c58e80e325096b44792be
Clear filters https://github.com/UnitTestBot/UTBotJava/pull/966/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/966/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/966/files
gradlew https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-e9721dc750619a21053ddea8a5d04929a608877d8c5daec1b57d243d3424e745
GenerateTestsAbstractCommand.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-ba3ceeb1e18d33fa560ffe22d4abe926ac475b7d8787b2f5689e38eb054453d5
UtSettings.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-80d01989f2b4a8930154527824aed76ab56b038fb746dbf6255ba3a3f1024931
Api.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
UtConstraintVisitor.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-0aef1ffab61862204c8a5fd53f096a7dae883e903297a486d669ee0008e9dcfd
ConstraintApi.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-cd79a0c8c4aa994b798fd5602d73ecfc7db0bfd5f7b8ae9b0d2c322cc4a6c045
UtConstraintTransformer.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-57786f84a6eebb2ce41e890b8b6f0a2c4c12f5cd3713f43376aa44c9bddee0d0
UtConstraintVariableCollector.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-15b695061febeaef8e63cd0964d290e162cc4e7981a5f18bb853f03fbc0ef5bd
IdUtil.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-dbf2152ccdd59a6656de54c5ce6baf0f613b91030f2e7f1a516ba097e6c060c0
UtContext.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-1aac92dc5bcbff9aff45c29f744e099012d4fad90dcbb18738699ff48e6f484e
SynthesisExamplesTest.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-1310094d6d59cd08d5594ad0f65b0d2613429e5c153c58553d35c0703bce39d5
Extensions.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-7c20e1c61c02941e4414038ec9ce4f4cff3cfce4becf0885e80d25b0e0cada54
JimpleCreation.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-d0699fb67c67948bdd3c54c03cf387aefbb93578997b377c7b1df06e46ba6d99
Resolver.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-d00f6ba01d4164d471e5f9e1acae2d189d719ffad67d22a1b8e63c452f036b51
Traverser.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-657e30b4ad80a14a39f8e9c91246b87e017c55d517688569faa2ee63393afe46
UtBotSymbolicEngine.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-c98f4140e62e268dc10fc13fa079011d64b75049b55fc664ca43e6c4aa6f5280
ValueConstructor.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-83bcf8f15399ea6c09a14b729a1d55ffd4cb41c986c91d3c804d0eb737e33915
ConstraintResolver.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-f219d74c94b82a1acbba9d66290fe264aeeec0c05a222d13cb94cfd9c5efd26c
UtAtomCollector.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-521c3879567ca854dfdb7197fa517d71261bb897da0556be932b13c76afa5560
UtExprCollector.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-443f7fb9e55e2e013029a63d0c507b3f2802f45d7b23e875578566e516e83168
UtSolver.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-7410760676616b12aef447f89e3f42a1969e7ece82916557269f6f050eb9fe2d
UtSolverStatus.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-8d1266341ed5215f6e9087478527123f087bebbd788582246e1bf31fcb267794
Z3TranslatorVisitor.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-79daf9e46b5b79e538e072f8e571fad27684a2793cf9c737528251cedbb20527
UtConstraintBuilder.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-ae77fdf78f5202119025ef0afb6047cd96817cb0c4e5c3abc145194426bee5ad
UtDefaultExpressionVisitor.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-35bb6d1a4cef239be891df0d206765957eadceab7c3af195bd6ca09236c42cbe
UtVarContext.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-cfd83dc5f083965c59e47dab25afb6c1b1c1bffecb0ba8c5eb59b05fb47aa650
BasePathSelector.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-a25850a826b826eb4ecd88a833639f57d995061e90741b6a4862a6cfa8ab0d10
PathSelectorBuilder.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-e1fdaff5a3b720dd634db0faee5bb9831c75a1493ba7e044aaeb64cb5d5ac4c9
ScoringPathSelector.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-de14f0789d00d833b0222ceff901bb9b1fbee54fa6c83c6aa4b55010c337e451
ConstraintScoringStrategy.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-594c80435de846ccbbd37da3fe4cd9ea7ff41876658f6b0fc3f8af6c75ae478b
ScoringStrategy.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-ab6191cb53320d6ac8bdef0df9a41f676ea4331676a5a521821e9df5759a499d
numbers.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-3fa9c74be58cd6bcf384c82d88d3655c9c96985688c318f40d8f71d1e67bb348
Extensions.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-90c5105c1354dd536e91ffb3c1d56fc1839ad66ee7ccbb20a30ddf89c3d614cd
Z3initializer.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-122e5d2df756c41b0b3aa9be6b9bd655bcf88c93c9209ddd65fc4eacba4778ea
UtModelFactory.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-58e556275765854a1d3d619c72d659dda199abc0acae17f7c7ad0d5126f8fa92
AssembleModelGenerator.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-2fb127e7490221124454a750cdc9ba8801321eff64bd793a201dab1aa8dccee2
CgMethodConstructor.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-0b9fbbacf7ddf012a9f04bdf76ff1e2abecd67e81b107454f04c543c47efa430
CgVariableConstructor.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-06c6cd108bf40cc1e2781332cf17ff8a6465943d72c4e41a4d6a5295542bf1b2
MockValueConstructor.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-0188dd874eeff62196cf0cb69e3e6e3f0befc2afd78c6f91cfa14bb77ce99337
ExecutionStateAnalyzer.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-36812b2ce2f88f3c024c6fa46886f19ce808833a49def04699ca300facd25aa1
Minimization.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-6c0b63675189b75af0494f89ef90551d32c7582e185638acab1467c5f8e32755
TestCaseGenerator.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-b410086455f775b569900a45f751c5cc55ec6d7a0eb1b9c4e73fa64272df9090
CompositeUnitExpander.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-d3ac85469a291bbf7d731cdfc494182ff252078ccf68813c9a6fa3c148bc14d9
Resolver.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-902a39b7c9b57a014c1492967ed200fe2303efa51ba088c3a94bfc974b61cd10
SynthesisMethodContext.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-a0e8bcfaddefc7960e95e2a0c6460f5b56b30ab6d022c3eabc68fd0c1309c213
SynthesisUnit.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-da1da6e2dfa77f5b7a90101a010d8c1e63cae828b2cd343a3a5e53f8771da0e5
SynthesisUnitChecker.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-cddd825a88470713ea8bd69c5b98428383f318931061a08f64702f9e9822f77d
Synthesizer.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-4f47738d51cebb9408e0e975119ffc5cd98bec4dfb5fb2778d1599a646c7c0f8
ConstraintBasedPostConditionConstructor.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-a1d7341751d80956956111825db7470c62bd72307d3d9096e741fb5d38c4aaa0
PostConditionConstructor.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-acb54b281c3fc4b74ae36807bb2cb448e6ea4aa1aeec15d3ebccacf95615c598
TestSpecificTestCaseGenerator.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-472bc513aaf23e37cba23d5d9bf55c0e86ed31b8cb3b22f768a9eac43abdceb1
UtModelTestCaseChecker.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-49458045bd04aba1576431780ede7fa1b7d5be7b66d2c093557ad44b77a6d5ee
Contest.kt https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-0f65b8e33cb86fc8ff46a07bb6d99212507bfd53fab70fe3d1c29cb542d8cd5e
ComplexCounter.java https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-a361183da1486c5849b06e785a54756fec57ac3aef7569b50bf92d6e623b6890
ComplexObject.java https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-ca9a9c6cc6f8c5860ce6a94d338f4a07472de02b79a4e7611946dff1e04d7f10
DeepComplexObject.java https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-663ff6a5a4220aab2f0c3d9cfaba692c4f50f7c2d5e42345693f3ac81aad7315
Point.java https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-61fab8a081759929d2714df27caf1780bf947c7732196a2e9883cd8b0791d402
SimpleList.java https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-b6f422a777c4c8a21ed63d0d3a484a97f1732026843d5283ff04507fe8824d8a
SynthesisExamples.java https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-d4c0a67d24f5bd49297c22fb1a01f51d57ba93f3a061a5815238f598624c1c4c
SynthesisInterface.java https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-8b8418aae107f7ea5dc99a50d95885644aa9c309c4fc914f6316fdf73799d84e
SynthesisInterfaceImpl.java https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-aa55c7cf80d0bc1e35f9fca9b09dc88d26dbb7951bfc4b999e20cdf1e055aeb5
gradlewhttps://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-e9721dc750619a21053ddea8a5d04929a608877d8c5daec1b57d243d3424e745
View file https://github.com/AbdullinAM/UTBotJava/blob/34ed6fefcb958c05848c58e80e325096b44792be/gradlew
Open in desktop https://desktop.github.com
utbot-cli/src/main/kotlin/org/utbot/cli/GenerateTestsAbstractCommand.kthttps://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-ba3ceeb1e18d33fa560ffe22d4abe926ac475b7d8787b2f5689e38eb054453d5
View file https://github.com/AbdullinAM/UTBotJava/blob/34ed6fefcb958c05848c58e80e325096b44792be/utbot-cli/src/main/kotlin/org/utbot/cli/GenerateTestsAbstractCommand.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/966/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-ba3ceeb1e18d33fa560ffe22d4abe926ac475b7d8787b2f5689e38eb054453d5
https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-ba3ceeb1e18d33fa560ffe22d4abe926ac475b7d8787b2f5689e38eb054453d5
https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-ba3ceeb1e18d33fa560ffe22d4abe926ac475b7d8787b2f5689e38eb054453d5
https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-ba3ceeb1e18d33fa560ffe22d4abe926ac475b7d8787b2f5689e38eb054453d5
utbot-framework-api/src/main/kotlin/org/utbot/framework/UtSettings.kthttps://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-80d01989f2b4a8930154527824aed76ab56b038fb746dbf6255ba3a3f1024931
View file https://github.com/AbdullinAM/UTBotJava/blob/34ed6fefcb958c05848c58e80e325096b44792be/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/966/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-80d01989f2b4a8930154527824aed76ab56b038fb746dbf6255ba3a3f1024931
https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-80d01989f2b4a8930154527824aed76ab56b038fb746dbf6255ba3a3f1024931
https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-80d01989f2b4a8930154527824aed76ab56b038fb746dbf6255ba3a3f1024931
https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-80d01989f2b4a8930154527824aed76ab56b038fb746dbf6255ba3a3f1024931
utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api/Api.kthttps://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
View file https://github.com/AbdullinAM/UTBotJava/blob/34ed6fefcb958c05848c58e80e325096b44792be/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/966/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
https://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api/UtConstraintVisitor.kthttps://github.com/UnitTestBot/UTBotJava/pull/966/files#diff-0aef1ffab61862204c8a5fd53f096a7dae883e903297a486d669ee0008e9dcfd
View file https://github.com/AbdullinAM/UTBotJava/blob/34ed6fefcb958c05848c58e80e325096b44792be/utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api/UtConstraintVisitor.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/966/{{ revealButtonHref }}
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/966/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.