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 f...

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/_view_fragments/voltron/pull_requests/show/:user_id/:repository/:id/pull_request_layout(.:format)
route-controllervoltron_pull_requests_fragments
route-actionpull_request_layout
fetch-noncev2:af000615-d283-3d0e-7710-df4c3829bf28
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idC124:5D9CD:2FE32B8:406B472:698DAD7E
html-safe-nonce0f9d5cfd9e1791f6fcb9cc120c9168b647c859e0c37135f071af90a47bf7b35e
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJDMTI0OjVEOUNEOjJGRTMyQjg6NDA2QjQ3Mjo2OThEQUQ3RSIsInZpc2l0b3JfaWQiOiI5NjMwNDE1Nzc3NDcxOTczMTAiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmacb46d6ecdc83e3b69943b7ec711b76fe3650f1d99108f01af7d322d20cd8bced3
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///voltron/pull_requests_fragments/pull_request_layout
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/_view_fragments/voltron/pull_requests/show/UnitTestBot/UTBotJava/966/pull_request_layout
twitter:imagehttps://opengraph.githubassets.com/64f27493b7d7b4e15878e3e2cd2aebc041f23834ad242e83a2caea15159bc6de/UnitTestBot/UTBotJava/pull/966
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/64f27493b7d7b4e15878e3e2cd2aebc041f23834ad242e83a2caea15159bc6de/UnitTestBot/UTBotJava/pull/966
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:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernameAbdullinAM
hostnamegithub.com
expected-hostnamegithub.com
None8c7947c0c592efeab6162b9909ad11fa43bff8b0cb5ff43273dc25e41979d43e
turbo-cache-controlno-preview
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
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
releaseb22a9fbf4dea601ec149a9e5362e0558df79b505
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/UnitTestBot/UTBotJava/pull/966#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fpull%2F966
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
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%2Fvoltron%2Fpull_requests_fragments%2Fpull_request_layout&source=header-repo&source_repo=UnitTestBot%2FUTBotJava
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/966
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/966
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/966
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
Jump to bottomhttps://github.com/UnitTestBot/UTBotJava/pull/966#issue-comment-box
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
Сonstraint model synthesis https://github.com/UnitTestBot/UTBotJava/pull/966#top
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
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/{{ revealButtonHref }}
https://github.com/AbdullinAM
AbdullinAMhttps://github.com/AbdullinAM
Sep 19, 2022https://github.com/UnitTestBot/UTBotJava/pull/966#issue-1378036554
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/966
June 20, 2022 11:56https://github.com/UnitTestBot/UTBotJava/pull/966#commits-pushed-fb0adca
Draft: model synthesishttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/fb0adcaaff53ea645e9a6d553617049cd26df457
fb0adcahttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/fb0adcaaff53ea645e9a6d553617049cd26df457
https://github.com/AbdullinAM
mhttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/11c47d95232697a1e31b2521caa73d0dff7d1aa2
11c47d9https://github.com/UnitTestBot/UTBotJava/pull/966/commits/11c47d95232697a1e31b2521caa73d0dff7d1aa2
https://github.com/AbdullinAM
first prototype, needs debugging and tuninghttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/4aaa8e5493f9d0058c7594ada03c17fe6169ba26
4aaa8e5https://github.com/UnitTestBot/UTBotJava/pull/966/commits/4aaa8e5493f9d0058c7594ada03c17fe6169ba26
https://github.com/AbdullinAM
prototypehttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/9c63ba0ca5ac1f60fd84b48e131ab3e86c0a7f25
9c63ba0https://github.com/UnitTestBot/UTBotJava/pull/966/commits/9c63ba0ca5ac1f60fd84b48e131ab3e86c0a7f25
https://github.com/AbdullinAM
refactorhttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/707fa6d9628bc832d2d7a8aaa61f932296d4dff5
707fa6dhttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/707fa6d9628bc832d2d7a8aaa61f932296d4dff5
https://github.com/AbdullinAM
very early prototypehttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/10c4193b1273581281860614956cc7c18e8d25ac
10c4193https://github.com/UnitTestBot/UTBotJava/pull/966/commits/10c4193b1273581281860614956cc7c18e8d25ac
https://github.com/AbdullinAM
UtConstraintModel implementedhttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/4285a5c0c8e49fc747cefa893cbbb046db328ed8
4285a5chttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/4285a5c0c8e49fc747cefa893cbbb046db328ed8
https://github.com/AbdullinAM
partial UtConstraint to UtExpression convertionhttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/22e22666f3bac9d01fde39e98d04ed3fae2f444b
22e2266https://github.com/UnitTestBot/UTBotJava/pull/966/commits/22e22666f3bac9d01fde39e98d04ed3fae2f444b
https://github.com/AbdullinAM
working prototypeshttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/6b47a9a66fb910d421f76c70bf5bb777165fa26b
6b47a9ahttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/6b47a9a66fb910d421f76c70bf5bb777165fa26b
https://github.com/AbdullinAM
bugfixes + expression support in constraintshttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/a75a840230acf7a7109a15a6a6c3f71a9015cb0a
a75a840https://github.com/UnitTestBot/UTBotJava/pull/966/commits/a75a840230acf7a7109a15a6a6c3f71a9015cb0a
https://github.com/AbdullinAM
mhttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/fb392f675d77fdb0fde95c61b89b4c38e041746f
fb392f6https://github.com/UnitTestBot/UTBotJava/pull/966/commits/fb392f675d77fdb0fde95c61b89b4c38e041746f
https://github.com/AbdullinAM
everything kind of works, but some constraints need to be addedhttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/5f3531133208580a5a0b8e7d086321cd6e300c00
5f35311https://github.com/UnitTestBot/UTBotJava/pull/966/commits/5f3531133208580a5a0b8e7d086321cd6e300c00
https://github.com/AbdullinAM
first working protoype with arrayshttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/ba9bb6281c3c042c41096c8cfe38f61759f8b4f3
ba9bb62https://github.com/UnitTestBot/UTBotJava/pull/966/commits/ba9bb6281c3c042c41096c8cfe38f61759f8b4f3
https://github.com/AbdullinAM
renaminghttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/065924fa77d66d03e9e4d23aba50b85238ba4769
065924fhttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/065924fa77d66d03e9e4d23aba50b85238ba4769
https://github.com/AbdullinAM
first tests and fixeshttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/8cc7515fc4e7452a30ba81c24d94a091ff156411
8cc7515https://github.com/UnitTestBot/UTBotJava/pull/966/commits/8cc7515fc4e7452a30ba81c24d94a091ff156411
https://github.com/AbdullinAM
more expressions supportedhttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/4a14606d099cf5c918aef66522a5dc9f2cb244df
4a14606https://github.com/UnitTestBot/UTBotJava/pull/966/commits/4a14606d099cf5c918aef66522a5dc9f2cb244df
https://github.com/AbdullinAM
some cleanup + more expressions supportedhttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/bbf525b4326dbe1ae4fc4c7ad90a1658c7d0158c
bbf525bhttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/bbf525b4326dbe1ae4fc4c7ad90a1658c7d0158c
https://github.com/AbdullinAM
cleanuphttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/850b530e12272e7184dc0e1cfba707c8767b9314
850b530https://github.com/UnitTestBot/UTBotJava/pull/966/commits/850b530e12272e7184dc0e1cfba707c8767b9314
https://github.com/AbdullinAM
support for multidimensional arrays + fix for array generationhttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/8799691c717acc36ea98462181b072b3e2705f90
8799691https://github.com/UnitTestBot/UTBotJava/pull/966/commits/8799691c717acc36ea98462181b072b3e2705f90
https://github.com/AbdullinAM
first support of listshttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/60df4a42393ba0ca8fe97f89cdd7c58d5afc8506
60df4a4https://github.com/UnitTestBot/UTBotJava/pull/966/commits/60df4a42393ba0ca8fe97f89cdd7c58d5afc8506
https://github.com/AbdullinAM
support setshttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/8963a7ea2211825717eb388901757998e66bc6dd
8963a7ehttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/8963a7ea2211825717eb388901757998e66bc6dd
https://github.com/AbdullinAM
small refactoringshttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/1578c96ff4799f5db8eea7793d17e2928278c42a
1578c96https://github.com/UnitTestBot/UTBotJava/pull/966/commits/1578c96ff4799f5db8eea7793d17e2928278c42a
https://github.com/AbdullinAM
mapshttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/1dd4b25234138be7e73260965dd6a8f807275424
1dd4b25https://github.com/UnitTestBot/UTBotJava/pull/966/commits/1dd4b25234138be7e73260965dd6a8f807275424
https://github.com/AbdullinAM
some cleanup and parametershttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/313757df851103449afa5d1207b30f8100c118f2
313757dhttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/313757df851103449afa5d1207b30f8100c118f2
https://github.com/AbdullinAM
test write fixhttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/faa00475b3847b8f60ce35325257c85866387ed4
faa0047https://github.com/UnitTestBot/UTBotJava/pull/966/commits/faa00475b3847b8f60ce35325257c85866387ed4
https://github.com/AbdullinAM
mhttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/94740c95953a9393b3022b6c4baf1db7a14500ba
94740c9https://github.com/UnitTestBot/UTBotJava/pull/966/commits/94740c95953a9393b3022b6c4baf1db7a14500ba
https://github.com/AbdullinAM
Merge branch 'main' into abdullin/constraint-model-synthesishttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/992028341519a6f7724410658c11f63bd8b6d83f
9920283https://github.com/UnitTestBot/UTBotJava/pull/966/commits/992028341519a6f7724410658c11f63bd8b6d83f
https://github.com/AbdullinAM
merge with masterhttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/fd2207752fa5e7393e26e6b5d919086feba8191d
fd22077https://github.com/UnitTestBot/UTBotJava/pull/966/commits/fd2207752fa5e7393e26e6b5d919086feba8191d
https://github.com/AbdullinAM
first prototype of constraint scoring selectorhttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/4e97b5f19f5356c231e12ec770e9024fcf2b16f7
4e97b5fhttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/4e97b5f19f5356c231e12ec770e9024fcf2b16f7
https://github.com/AbdullinAM
mhttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/2544b3185eeae1d239a3808d5625d712a0575fac
2544b31https://github.com/UnitTestBot/UTBotJava/pull/966/commits/2544b3185eeae1d239a3808d5625d712a0575fac
AbdullinAMhttps://github.com/AbdullinAM
August 31, 2022 19:03https://github.com/UnitTestBot/UTBotJava/pull/966#commits-pushed-e585371
https://github.com/AbdullinAM
fixeshttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/e5853711582ec327c7fd16c76cd2be0f7cc2eb05
e585371https://github.com/UnitTestBot/UTBotJava/pull/966/commits/e5853711582ec327c7fd16c76cd2be0f7cc2eb05
https://github.com/AbdullinAM
Merge branch 'main' into abdullin/constraint-model-synthesishttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/d2564e956254a849e3303ec6c206672746b9b200
d2564e9https://github.com/UnitTestBot/UTBotJava/pull/966/commits/d2564e956254a849e3303ec6c206672746b9b200
https://github.com/AbdullinAM
Merge branch 'main' into abdullin/constraint-model-synthesishttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/bb1acbc478ff192fd7b6d5746ed7c99f0febf826
bb1acbchttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/bb1acbc478ff192fd7b6d5746ed7c99f0febf826
https://github.com/AbdullinAM
Split constraint models into a set of non-intersecting subsets before…https://github.com/UnitTestBot/UTBotJava/pull/966/commits/c6fbeb06aa746dafbb9aa640b3d99b5d2733bac3
c6fbeb0https://github.com/UnitTestBot/UTBotJava/pull/966/commits/c6fbeb06aa746dafbb9aa640b3d99b5d2733bac3
https://github.com/AbdullinAM
mhttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/2553ef7ce929c6cfde388393850afd2b003c0abb
2553ef7https://github.com/UnitTestBot/UTBotJava/pull/966/commits/2553ef7ce929c6cfde388393850afd2b003c0abb
https://github.com/AbdullinAM
some cleanuphttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/e943a16162f80542834d2f0cb154e5554079dd2f
e943a16https://github.com/UnitTestBot/UTBotJava/pull/966/commits/e943a16162f80542834d2f0cb154e5554079dd2f
https://github.com/AbdullinAM
more cleanuphttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/cd5fff89b46d6c1b30cc73047fd0e801459ea3f7
cd5fff8https://github.com/UnitTestBot/UTBotJava/pull/966/commits/cd5fff89b46d6c1b30cc73047fd0e801459ea3f7
https://github.com/AbdullinAM
order models in the subsetshttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/c2a7d31a045077a82fdaf9316a03006ce8334e7b
c2a7d31https://github.com/UnitTestBot/UTBotJava/pull/966/commits/c2a7d31a045077a82fdaf9316a03006ce8334e7b
https://github.com/AbdullinAM
simple caching of synthesis unit contextshttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/d1b09c8e7935518c89105a45f8200d27c4812b14
d1b09c8https://github.com/UnitTestBot/UTBotJava/pull/966/commits/d1b09c8e7935518c89105a45f8200d27c4812b14
https://github.com/AbdullinAM
option to enable/disable caching of synthesis contextshttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/eedccb99d3803e5f139996747c9f5464c8594d91
eedccb9https://github.com/UnitTestBot/UTBotJava/pull/966/commits/eedccb99d3803e5f139996747c9f5464c8594d91
https://github.com/AbdullinAM
mhttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/11eea4d14af273736b7ad1665fd2cf08a6da8dab
11eea4dhttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/11eea4d14af273736b7ad1665fd2cf08a6da8dab
https://github.com/AbdullinAM
testshttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/9712e7030fd08dd5c7d4bce7e37d1965680a6b53
9712e70https://github.com/UnitTestBot/UTBotJava/pull/966/commits/9712e7030fd08dd5c7d4bce7e37d1965680a6b53
https://github.com/AbdullinAM
unit tests fixedhttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/1c6b679470ba8fd609cb341141588c701d3ee784
1c6b679https://github.com/UnitTestBot/UTBotJava/pull/966/commits/1c6b679470ba8fd609cb341141588c701d3ee784
https://github.com/AbdullinAM
AbdullinAMhttps://github.com/AbdullinAM
Sep 19, 2022https://github.com/UnitTestBot/UTBotJava/pull/966#issuecomment-1251184825
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/966
https://github.com/sergeypospelov
sergeypospelovhttps://github.com/sergeypospelov
Sep 20, 2022https://github.com/UnitTestBot/UTBotJava/pull/966#issuecomment-1251973879
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/966
AbdullinAMhttps://github.com/AbdullinAM
September 28, 2022 09:10https://github.com/UnitTestBot/UTBotJava/pull/966#commits-pushed-4e37763
https://github.com/AbdullinAM
Merge branch 'main' into abdullin/constraint-model-synthesishttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/4e377632bc86dec61101a564c03c5598bbf00aae
4e37763https://github.com/UnitTestBot/UTBotJava/pull/966/commits/4e377632bc86dec61101a564c03c5598bbf00aae
https://github.com/AbdullinAM
merge with mainhttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/34ed6fefcb958c05848c58e80e325096b44792be
34ed6fehttps://github.com/UnitTestBot/UTBotJava/pull/966/commits/34ed6fefcb958c05848c58e80e325096b44792be
https://github.com/AbdullinAM
AbdullinAMhttps://github.com/AbdullinAM
Sep 29, 2022https://github.com/UnitTestBot/UTBotJava/pull/966#event-7483957576
https://github.com/AbdullinAM
AbdullinAMhttps://github.com/AbdullinAM
Sep 29, 2022 https://github.com/UnitTestBot/UTBotJava/pull/966#ref-pullrequest-1390388673
Сonstraint model synthesis #1030 https://github.com/UnitTestBot/UTBotJava/pull/1030
Sign up for freehttps://github.com/join?source=comment-repo
Sign in to commenthttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fpull%2F966
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/966
https://github.com/AbdullinAM
https://github.com/sergeypospelov
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.