René's URL Explorer Experiment


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

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

X Title: Сonstraint model synthesis by AbdullinAM · Pull Request #1030 · 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. This is a new PR for constraint model synthesis with the rebase to master (it was easier to create a new branch than to resolve all the conflicts from the old one). I closed the old PR #966 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. This is a new PR...

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. This is a ne...

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

X: @github

direct link

Domain: github.com

route-pattern/:user_id/:repository/pull/:id/files(.:format)
route-controllerpull_requests
route-actionfiles
fetch-noncev2:8903814e-fe5e-f85e-79b9-d16121e86787
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idC502:1A508:1D0848F:27852FC:698DB676
html-safe-nonce954dc18bcd17e91902cc1407da8be65015f556bf8a79d44477b27881f97e32fc
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJDNTAyOjFBNTA4OjFEMDg0OEY6Mjc4NTJGQzo2OThEQjY3NiIsInZpc2l0b3JfaWQiOiI4MDQ4MTI2MjM0NjEyMDUzNjIyIiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmac461de3c4e4e03c477fe4fed68275b9062174211702fabf897bb41a3b886f4c89
hovercard-subject-tagpull_request:1070924657
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/1030/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. This is a new PR...
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
None2457fd9a1b17ca7f38c3c2653895ccb2e0dd04f18f77446a21354e9bc4b7902f
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
release878672b82363fd98fbdc5bd0edb68e572c8a8d9b
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/UnitTestBot/UTBotJava/pull/1030/files#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fpull%2F1030%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%2F1030%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/1030/files
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/1030/files
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/1030/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-synthesis-squashedhttps://github.com/AbdullinAM/UTBotJava/tree/abdullin/constraint-model-synthesis-squashed
Conversation 1 https://github.com/UnitTestBot/UTBotJava/pull/1030
Commits 59 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits
Checks 0 https://github.com/UnitTestBot/UTBotJava/pull/1030/checks
Files changed https://github.com/UnitTestBot/UTBotJava/pull/1030/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/1030/files
Сonstraint model synthesis https://github.com/UnitTestBot/UTBotJava/pull/1030/files#top
Show all changes 59 commits https://github.com/UnitTestBot/UTBotJava/pull/1030/files
1175678 squash constraint model synthesis AbdullinAM Sep 28, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/1175678f49ba52b8b61ee86d9fd7bc81a3649208
d69ebc4 squash constraint model synthesis AbdullinAM Sep 28, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/d69ebc4a7ce273d617f32a96bfda0be78d589c9e
8d68488 resolver fix AbdullinAM Sep 29, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/8d68488bb2adcff9100cebbe821fdcc738f94a7f
c6cac8d model based post condition constructor restored AbdullinAM Sep 29, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/c6cac8d430a712ec2bb07a5927979d2b4accbe98
df75f26 very primitive global timeoutfor synthesis AbdullinAM Oct 11, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/df75f26fd306b443414b40ff49c3dd68de1d99ff
e10a50e Primitive Stream wrappers (no laziness and source mutations support) … Damtev Sep 28, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/e10a50e24a0a378df51f430ee5e65a8a9600eee2
80da28b Avoid summary duplication #985 (#1015) onewhl Sep 28, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/80da28b70ee8249a74449abd1ce8e1f2b887957b
608d56c Fix bug in filtering Kotlin getters/setters in plugin (#1026) volivan239 Sep 28, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/608d56ce3fbc92bd61815335e6119ceb9644c209
1f59106 Reordered the test clusters (#991) amandelpie Sep 30, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/1f5910638ee9a6c55e33a97b03a73651dcddb2c3
f96c118 Fix build directory for classes from Kotlin files (#1019) volivan239 Sep 30, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/f96c11874b7f0891a9a41498549e0354369321c5
40bf31b Improve choosing between simpleName and canonicalName in rendered cod… EgorkaKulikov Sep 30, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/40bf31b58d25801aea136f12b15c9a5d0aee12f6
3380506 Run tests on `push` into release branches (#1045) viktoriia-fomina Sep 30, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/338050684d27e2c4a600f45161437aece5d0b181
234ace0 Fix utbot-maven compilation (#1049) dtim Oct 1, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/234ace0d9bb619ed0073441ad7f1915e392bfa51
1a0289d Support AssertionError in SARIF report (#1032) mmvpm Oct 3, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/1a0289d6353ddf3eb1ea61d42fc524fc8e41f6fc
7b417c9 Render links in the invokes part of JavaDocs (#1051) onewhl Oct 3, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/7b417c987367f0a6806aff46ad932812f141c68f
0cedf7a Improve fuzzer recursive model providers (#1039) Markoutte Oct 3, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/0cedf7a1fa0d340b1c9be2cf15cd74e3afd2bc71
4293d4f IndexNotReadyException thrown in IDEA with installed UnitTestBot plug… Vassiliy-Kudryashov Oct 3, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/4293d4f93d2652115d37e314ada7b952294dd46d
a5d628c Publish without workflow run number (#1053) viktoriia-fomina Oct 3, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/a5d628c580c31498ce16a6fc63c6bf15427e1689
ba08cb7 Modificators processing in AssembleModelGenerator and UtBotFieldModif… EgorkaKulikov Oct 3, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/ba08cb7584392fb869b83e2c4c7e6d0ac2e8fcb2
ae5b883 Gradle cache usage added #974 (#998) bissquit Oct 4, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/ae5b883c47e31d08132edb58fbcb0f47c971e709
b6d8a65 Try to fix memory leak in CgComponents (#1057) EgorkaKulikov Oct 4, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/b6d8a65258e1f602f9a48417ce582d24d444f000
77194a3 Repeating SourceFolder fix (#1073) Domonion Oct 4, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/77194a3039cb09c50a2e6dfe7f930c3c1ddc9d3f
0ff62da Include information about triggered recursion to Javadocs (#1084) onewhl Oct 4, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/0ff62da23f0675d18507f19b76193f5a30fd06ab
e5d8b5f Fix rendering for different IDE versions (#1087) onewhl Oct 4, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/e5d8b5f0fbc5d8628f2252e1a2d7b909c77465ec
8016349 Fixed unavailable mock classes (#1066) Damtev Oct 5, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/8016349e11f555970fc98128073820e3104d6b7c
f55c96d Engine process #2 (#1067) Domonion Oct 5, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/f55c96d938f92b9cf039227d7405b843678a8c6e
f3af058 Remove unsat states from invokes (#1071) CaelmBleidd Oct 5, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/f3af05890e03b6117168396a5c6462e182fb4db2
e298169 Settings revision, 2nd iteration #977 (#1088) Vassiliy-Kudryashov Oct 5, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/e298169db66f968cd01769a8cedf97f815f787ed
5a690b9 Fix soot initialization (#1090) sergeypospelov Oct 5, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/5a690b9bb56bb398d107f80412e67a7b29db2a40
cd3dcd1 Improve verification that static mocking is configured (#1091) EgorkaKulikov Oct 5, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/cd3dcd1bd90bcf5406dc9df0098583684fe475d9
b067af9 Fix assertions (#1096) SBOne-Kenobi Oct 5, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/b067af94b226f39eba960285ff3234ac1bd70c49
43efb96 Cancel test generation if compilation was not successful #1100 (#1103) volivan239 Oct 5, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/43efb96489b0f9dbafb6ab5e8647af2cc2ec04a9
bf272b6 Vassiliy kudryashov/1021 plugin support idea 20222 new (#1094) Vassiliy-Kudryashov Oct 5, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/bf272b6889ca50dac72495b00ca6e86b0c106d30
fc61391 Wrap method reference into @link tag only if the invoked method is no… onewhl Oct 6, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/fc61391dbb95a08a6058562486e7101549a8a12f
4ce788d Notify and reason to the user that UtBot can't be run on the class in… EgorkaKulikov Oct 6, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/4ce788db706ac40052867a16597f37c215052778
0abc48b Make snapshot version calendar-dependant (#1108) Vassiliy-Kudryashov Oct 6, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/0abc48b76c460a5478417a398062d167c80c17ab
a215477 We create temporary files a lot, we have to clean it either (#1089) Vassiliy-Kudryashov Oct 7, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/a215477e3337187da8a948eecb525b9ea2182289
8280807 Get PsiClass' package by declaration in containingFile and not by its… volivan239 Oct 7, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/8280807cf17fe3081aa7a535ebd743dad6d1835e
8fb3938 Out of process bug fixes (#1109) Domonion Oct 7, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/8fb393838868d443e9e36dd6c9dd9072a8656e9c
5fb1e16 Plugin setting to choose Kotlin generation doesn't work #1075 (#1110) Vassiliy-Kudryashov Oct 7, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/5fb1e16c87aa0f77afb884dc9ab26700da88ac33
ad150ba Lessen thisInstance creation in parameterized test generation (#1065) sofurihafe Oct 7, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/ad150ba00b48945c2fec5ce81f82490353fdd0bb
2f03687 Fix settings persistence: we save IDs, thus we should parse IDs inste… Vassiliy-Kudryashov Oct 7, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/2f0368792c84568c7829b801cc9ca0d80979c76e
15bdfa8 Support Android Studio in utbot-intellij (#1121) EgorkaKulikov Oct 10, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/15bdfa880eeddaa3936391db81c9382fc17c0d27
166b393 Select Kotlin test src root by default when generating for Kotlin #94… volivan239 Oct 10, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/166b39349a7232158537bfe623efd753023af4bd
c7618bb Filter generated sources in Android Studio projects #692 (#1123) EgorkaKulikov Oct 10, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/c7618bb925267139682102b5261bc5d1afe517db
5479449 Exclude mocking javax (#1124) SBOne-Kenobi Oct 10, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/54794496b20cc6ddc7852b751d98928957926349
06c548e Linux engine process fix (#1126) Domonion Oct 10, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/06c548ebf2975f8144655e484e423880d52094ff
7e71d75 Android Studio troubleshooting related to Lombok improved (#1131) EgorkaKulikov Oct 11, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/7e71d7523c4bdf74f81b7a08885c7abdecaa6a81
1a18c53 Other class is not mocked as required #747 (#1033) Markoutte Oct 11, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/1a18c538fe0e110aab41d8bca06caf79a94420af
d1bea97 Add parameterized test generation in CI (#1114) sofurihafe Oct 11, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/d1bea97da198e5d373547c2591c39d1fd8cbd1a7
5181cef Fix static mocking (#1142) SBOne-Kenobi Oct 12, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/5181cef948f04d1b131193dbdb246169d9aaf57b
4706d1b Added simple custom JavaDocs for the tests produced by Fuzzer (#1069) amandelpie Oct 12, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/4706d1b1d5b7aea3f67232aa26c731c24c1173b5
d36b988 Concrete execution fails for a static method using a static field #71… Markoutte Oct 12, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/d36b988b0f365b3b996af24346ca585c5965da81
a55999d Field assertions fixes (#920) Damtev Oct 12, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/a55999ddd72a8cce8a8e3036743985fd90eaaf9d
529c10d Fix dump mode fail (#1146) Domonion Oct 13, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/529c10d387bd3a1c32cd8005d7dbfa37daff4411
4470ea8 Refactor Sarif reports (#1152) mmvpm Oct 13, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/4470ea8bf60868c6d4869fe8575b2509d79e9657
d4cb666 Publish plugin and CLI for minor release (#1155) viktoriia-fomina Oct 14, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/d4cb666dfc49342303e19fafc2432d2790d31f1f
cad8133 Fixing long summarization timeouts & mics (#1151) Domonion Oct 14, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/cad813314d70da8712606b5ecdb8186fcfe771b8
724b794 squash constraint model synthesis AbdullinAM Sep 28, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1030/commits/724b79401d7f641ee83473758fe9e90713f51c73
Clear filters https://github.com/UnitTestBot/UTBotJava/pull/1030/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/1030/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/1030/files
.github/workflows/build-and-run-tests-from-branch.ymlhttps://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-f297580e941b60c61c24c3ff82ba0b552f5caffb22c141af29d67ad533817739
View file https://github.com/UnitTestBot/UTBotJava/blob/724b79401d7f641ee83473758fe9e90713f51c73/.github/workflows/build-and-run-tests-from-branch.yml
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/1030/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-f297580e941b60c61c24c3ff82ba0b552f5caffb22c141af29d67ad533817739
https://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-f297580e941b60c61c24c3ff82ba0b552f5caffb22c141af29d67ad533817739
https://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-f297580e941b60c61c24c3ff82ba0b552f5caffb22c141af29d67ad533817739
https://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-f297580e941b60c61c24c3ff82ba0b552f5caffb22c141af29d67ad533817739
https://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-f297580e941b60c61c24c3ff82ba0b552f5caffb22c141af29d67ad533817739
https://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-f297580e941b60c61c24c3ff82ba0b552f5caffb22c141af29d67ad533817739
.github/workflows/build-and-run-tests.ymlhttps://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-9a19c3f6ac7cb2118509a45d7d5b845095bc57806f646cc5697cb3188d8d1524
View file https://github.com/UnitTestBot/UTBotJava/blob/724b79401d7f641ee83473758fe9e90713f51c73/.github/workflows/build-and-run-tests.yml
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/1030/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-9a19c3f6ac7cb2118509a45d7d5b845095bc57806f646cc5697cb3188d8d1524
https://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-9a19c3f6ac7cb2118509a45d7d5b845095bc57806f646cc5697cb3188d8d1524
.github/workflows/combined-projects-matrix.jsonhttps://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-a9927c5bc41f80870fc1a9fac3c2006ccc94bf41ab8d6f6ab6dfa4be44209b9d
View file https://github.com/UnitTestBot/UTBotJava/blob/724b79401d7f641ee83473758fe9e90713f51c73/.github/workflows/combined-projects-matrix.json
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/1030/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-a9927c5bc41f80870fc1a9fac3c2006ccc94bf41ab8d6f6ab6dfa4be44209b9d
.github/workflows/framework-tests-matrix.jsonhttps://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-26a1057d490e750919492e527d73639e7ebfb076ee8b26fee5011d6c5e4a608e
View file https://github.com/UnitTestBot/UTBotJava/blob/724b79401d7f641ee83473758fe9e90713f51c73/.github/workflows/framework-tests-matrix.json
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/1030/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-26a1057d490e750919492e527d73639e7ebfb076ee8b26fee5011d6c5e4a608e
.github/workflows/publish-plugin-and-cli-from-branch.ymlhttps://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-9f1eef9521bee29afc0c91eafce727007c8de9b8972616cbbd1219949b869c40
View file https://github.com/UnitTestBot/UTBotJava/blob/724b79401d7f641ee83473758fe9e90713f51c73/.github/workflows/publish-plugin-and-cli-from-branch.yml
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/1030/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-9f1eef9521bee29afc0c91eafce727007c8de9b8972616cbbd1219949b869c40
https://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-9f1eef9521bee29afc0c91eafce727007c8de9b8972616cbbd1219949b869c40
https://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-9f1eef9521bee29afc0c91eafce727007c8de9b8972616cbbd1219949b869c40
.github/workflows/publish-plugin-and-cli.ymlhttps://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-7f05414ba2d9c1894922fa2e548d0e1af45bd5f60ec4db01b6726133167a67a4
View file https://github.com/UnitTestBot/UTBotJava/blob/724b79401d7f641ee83473758fe9e90713f51c73/.github/workflows/publish-plugin-and-cli.yml
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/1030/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-7f05414ba2d9c1894922fa2e548d0e1af45bd5f60ec4db01b6726133167a67a4
.gitignorehttps://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-bc37d034bad564583790a46f19d807abfe519c5671395fd494d8cce506c42947
View file https://github.com/UnitTestBot/UTBotJava/blob/724b79401d7f641ee83473758fe9e90713f51c73/.gitignore
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/1030/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-bc37d034bad564583790a46f19d807abfe519c5671395fd494d8cce506c42947
build.gradle.ktshttps://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-c0dfa6bc7a8685217f70a860145fbdf416d449eaff052fa28352c5cec1a98c06
View file https://github.com/UnitTestBot/UTBotJava/blob/724b79401d7f641ee83473758fe9e90713f51c73/build.gradle.kts
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/1030/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-c0dfa6bc7a8685217f70a860145fbdf416d449eaff052fa28352c5cec1a98c06
https://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-c0dfa6bc7a8685217f70a860145fbdf416d449eaff052fa28352c5cec1a98c06
https://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-c0dfa6bc7a8685217f70a860145fbdf416d449eaff052fa28352c5cec1a98c06
https://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-c0dfa6bc7a8685217f70a860145fbdf416d449eaff052fa28352c5cec1a98c06
docs/AndroidStudioSupport.mdhttps://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-83f3ac68264e04db9c72675b650a9ec703345ff3ef2955f863e2981becdc80eb
View file https://github.com/UnitTestBot/UTBotJava/blob/724b79401d7f641ee83473758fe9e90713f51c73/docs/AndroidStudioSupport.md
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/1030/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-83f3ac68264e04db9c72675b650a9ec703345ff3ef2955f863e2981becdc80eb
https://github.com/UnitTestBot/UTBotJava/pull/1030/files#diff-83f3ac68264e04db9c72675b650a9ec703345ff3ef2955f863e2981becdc80eb
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/1030/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.