René's URL Explorer Experiment


Title: Initial implementations of the adapter from JcExecution to UtExecution by EgorkaKulikov · Pull Request #2677 · UnitTestBot/UTBotJava · GitHub

Open Graph Title: Initial implementations of the adapter from JcExecution to UtExecution by EgorkaKulikov · Pull Request #2677 · UnitTestBot/UTBotJava

X Title: Initial implementations of the adapter from JcExecution to UtExecution by EgorkaKulikov · Pull Request #2677 · UnitTestBot/UTBotJava

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

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:ec5a4bb8-c38c-2507-398e-d8a1fc6511bd
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idD0FE:16C64:1F2B:29B3:698E59C0
html-safe-nonce52b824b19c33c15ebee2385cf159dc658753502188fc5bbd1b0d82cf4a96e5c8
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJEMEZFOjE2QzY0OjFGMkI6MjlCMzo2OThFNTlDMCIsInZpc2l0b3JfaWQiOiI2MDI3MzA0NzE5ODE0MTIxOTIwIiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmacaa97039fbcdcd061a85191e3f6c549702f9dffe05b57b483892d47bdda07ab48
hovercard-subject-tagpull_request:1592803907
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/2677/pull_request_layout
twitter:imagehttps://opengraph.githubassets.com/fcf88cd2727a843b7df2b12c88989f9a5ab17ccc14f12b392e06d3979840833d/UnitTestBot/UTBotJava/pull/2677
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/fcf88cd2727a843b7df2b12c88989f9a5ab17ccc14f12b392e06d3979840833d/UnitTestBot/UTBotJava/pull/2677
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernameEgorkaKulikov
hostnamegithub.com
expected-hostnamegithub.com
None0e08b85f0035d49bc4c22868f70a4d30fb8c2a777936895c37e78df095242ddc
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
release9416d07f3607b074b276ccc81546278f89608a08
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/UnitTestBot/UTBotJava/pull/2677#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fpull%2F2677
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%2F2677
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/2677
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/2677
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/2677
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/2677#issue-comment-box
EgorkaKulikovhttps://github.com/EgorkaKulikov
usvm_competitions_2024https://github.com/UnitTestBot/UTBotJava/tree/usvm_competitions_2024
egor/jc_to_ut_models_converterhttps://github.com/UnitTestBot/UTBotJava/tree/egor/jc_to_ut_models_converter
Initial implementations of the adapter from JcExecution to UtExecution https://github.com/UnitTestBot/UTBotJava/pull/2677#top
EgorkaKulikovhttps://github.com/EgorkaKulikov
usvm_competitions_2024https://github.com/UnitTestBot/UTBotJava/tree/usvm_competitions_2024
egor/jc_to_ut_models_converterhttps://github.com/UnitTestBot/UTBotJava/tree/egor/jc_to_ut_models_converter
Conversation 7 https://github.com/UnitTestBot/UTBotJava/pull/2677
Commits 31 https://github.com/UnitTestBot/UTBotJava/pull/2677/commits
Checks 0 https://github.com/UnitTestBot/UTBotJava/pull/2677/checks
Files changed https://github.com/UnitTestBot/UTBotJava/pull/2677/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2677
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/{{ revealButtonHref }}
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/EgorkaKulikov
Nov 8, 2023https://github.com/UnitTestBot/UTBotJava/pull/2677#issue-1983813605
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2677
EgorkaKulikovhttps://github.com/EgorkaKulikov
November 3, 2023 19:36https://github.com/UnitTestBot/UTBotJava/pull/2677#commits-pushed-6d4f05c
https://github.com/EgorkaKulikov
https://github.com/IlyaMuravjov
Some awful attemptshttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/6d4f05ccae03c80f63313cd785c8b872d74e3203
6d4f05chttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/6d4f05ccae03c80f63313cd785c8b872d74e3203
https://github.com/EgorkaKulikov
https://github.com/IlyaMuravjov
Initially implemented a converter of UTestInst to UtModelhttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/4aa8a109dbf1f0e9f86e3392d83647511a2ca935
4aa8a10https://github.com/UnitTestBot/UTBotJava/pull/2677/commits/4aa8a109dbf1f0e9f86e3392d83647511a2ca935
https://github.com/EgorkaKulikov
https://github.com/IlyaMuravjov
Refactor JcToUtModelConverter basing on UTestInst2UtModel converterhttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/ddcf870d35f96ef846b0ebe6300d4fb88642cd07
ddcf870https://github.com/UnitTestBot/UTBotJava/pull/2677/commits/ddcf870d35f96ef846b0ebe6300d4fb88642cd07
https://github.com/EgorkaKulikov
https://github.com/IlyaMuravjov
Some steps to implement JcToUtExecutionConverterhttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/9532b8a6adb85b3972ac6270d3442bbde41e36fb
9532b8ahttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/9532b8a6adb85b3972ac6270d3442bbde41e36fb
https://github.com/IlyaMuravjov
Implement minimalistic jc to ut execution conversion, enable codegenhttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/d79ea8bf75cd343e3db1969d937b8c696df3255c
d79ea8bhttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/d79ea8bf75cd343e3db1969d937b8c696df3255c
https://github.com/EgorkaKulikov
https://github.com/IlyaMuravjov
Some improvementshttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/8e30b30e82953da7592eb03b87608b4f68c76470
8e30b30https://github.com/UnitTestBot/UTBotJava/pull/2677/commits/8e30b30e82953da7592eb03b87608b4f68c76470
https://github.com/EgorkaKulikov
https://github.com/IlyaMuravjov
DeepMapper for models is usedhttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/5935d7bf0413c852b8c987b0ee84ce8ca0fabf31
5935d7bhttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/5935d7bf0413c852b8c987b0ee84ce8ca0fabf31
https://github.com/EgorkaKulikov
https://github.com/IlyaMuravjov
Correctionshttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/535abb0fbd9d2d10f183376df20fb0bffbf7fe88
535abb0https://github.com/UnitTestBot/UTBotJava/pull/2677/commits/535abb0fbd9d2d10f183376df20fb0bffbf7fe88
https://github.com/EgorkaKulikov
https://github.com/IlyaMuravjov
Some improvements to JcToUtModelConverterhttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/509cb73375489c5b4cb0536b88d1c380daab1515
509cb73https://github.com/UnitTestBot/UTBotJava/pull/2677/commits/509cb73375489c5b4cb0536b88d1c380daab1515
https://github.com/EgorkaKulikov
https://github.com/IlyaMuravjov
Further improvements to JcToUtModelConverterhttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/21bde03093fe6115dea17e5578eb3e2d19ad1618
21bde03https://github.com/UnitTestBot/UTBotJava/pull/2677/commits/21bde03093fe6115dea17e5578eb3e2d19ad1618
https://github.com/EgorkaKulikov
https://github.com/IlyaMuravjov
Another converter little improvementhttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/6471f07d82586ec4a39b468e16f404faf7ecbd0d
6471f07https://github.com/UnitTestBot/UTBotJava/pull/2677/commits/6471f07d82586ec4a39b468e16f404faf7ecbd0d
https://github.com/IlyaMuravjov
Improve UtExecutionFailure creationhttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/c14067f53b32b4d6e00b8e64bf0250ccc9b6c7d6
c14067fhttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/c14067f53b32b4d6e00b8e64bf0250ccc9b6c7d6
https://github.com/IlyaMuravjov
Finish implementing JcToUtModelConverterhttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/20967a9519030983f4b7a0be9e265cfa278edbe2
20967a9https://github.com/UnitTestBot/UTBotJava/pull/2677/commits/20967a9519030983f4b7a0be9e265cfa278edbe2
https://github.com/IlyaMuravjov
Refactor nullability in JcToUtModelConverter and `JcToUtExecutionCo…https://github.com/UnitTestBot/UTBotJava/pull/2677/commits/bf6d497e0dc09c9b4e257ad57031798695d3027c
bf6d497https://github.com/UnitTestBot/UTBotJava/pull/2677/commits/bf6d497e0dc09c9b4e257ad57031798695d3027c
https://github.com/IlyaMuravjov
First version of JC to UT converters without overusing `Descriptor2Va…https://github.com/UnitTestBot/UTBotJava/pull/2677/commits/1a893ad5a99e33ab8c458f7cd87268153336ab17
1a893adhttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/1a893ad5a99e33ab8c458f7cd87268153336ab17
https://github.com/EgorkaKulikov
Processed forgotten call method expressionhttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/1717235beb43d522a6d0165df37fdd9351048df6
1717235https://github.com/UnitTestBot/UTBotJava/pull/2677/commits/1717235beb43d522a6d0165df37fdd9351048df6
https://github.com/EgorkaKulikov
Make conversion more class-friendly (do not fail if one method cause …https://github.com/UnitTestBot/UTBotJava/pull/2677/commits/f2debe4f8751a0da435ca81594dc8a6703181eac
f2debe4https://github.com/UnitTestBot/UTBotJava/pull/2677/commits/f2debe4f8751a0da435ca81594dc8a6703181eac
https://github.com/EgorkaKulikov
Make it possible to use samples in ContestEstimatorhttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/c191ed3f743f838565b52827e54f15e3f0004012
c191ed3https://github.com/UnitTestBot/UTBotJava/pull/2677/commits/c191ed3f743f838565b52827e54f15e3f0004012
https://github.com/EgorkaKulikov
Tested on all primitiveshttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/e61cef469804bce0a4e16b9e0fe7ef5c78b10495
e61cef4https://github.com/UnitTestBot/UTBotJava/pull/2677/commits/e61cef469804bce0a4e16b9e0fe7ef5c78b10495
https://github.com/EgorkaKulikov
contrflow tests addedhttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/bb82a6ba34832a8266d997daf3c717460cc7ac35
bb82a6bhttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/bb82a6ba34832a8266d997daf3c717460cc7ac35
https://github.com/EgorkaKulikov
More test classes addedhttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/13ee51e8573435b4d13c4c31ccaff212e65384d1
13ee51ehttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/13ee51e8573435b4d13c4c31ccaff212e65384d1
https://github.com/IlyaMuravjov
Add build/output/test/samples to utbot-junit-contest test projectshttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/b01d6b3cc89a64af3cb777b4d8efbbab9b34825c
b01d6b3https://github.com/UnitTestBot/UTBotJava/pull/2677/commits/b01d6b3cc89a64af3cb777b4d8efbbab9b34825c
https://github.com/EgorkaKulikov
Steps to avoid duplicating statementshttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/61c1608195136085e6379bc59299f4458058adda
61c1608https://github.com/UnitTestBot/UTBotJava/pull/2677/commits/61c1608195136085e6379bc59299f4458058adda
https://github.com/EgorkaKulikov
Merge remote-tracking branch 'origin/egor/jc_to_ut_models_converter' …https://github.com/UnitTestBot/UTBotJava/pull/2677/commits/f455f99252b7aff377a04c1824405d7bc1e60936
f455f99https://github.com/UnitTestBot/UTBotJava/pull/2677/commits/f455f99252b7aff377a04c1824405d7bc1e60936
https://github.com/EgorkaKulikov
Make it working correct on IntExamples.maxhttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/a31d6b1ce6c0dbb3a9a59854fc08dfb4df8cd010
a31d6b1https://github.com/UnitTestBot/UTBotJava/pull/2677/commits/a31d6b1ce6c0dbb3a9a59854fc08dfb4df8cd010
https://github.com/EgorkaKulikov
Remove OptimizeImportsProcessor (seems it was not called, but a sourc…https://github.com/UnitTestBot/UTBotJava/pull/2677/commits/98b4398e62e855705cc1430e4c5c8880af4591f9
98b4398https://github.com/UnitTestBot/UTBotJava/pull/2677/commits/98b4398e62e855705cc1430e4c5c8880af4591f9
https://github.com/EgorkaKulikov
Process UTestStaticMethodCallhttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/0ca848a816f633c22f06f86183180bcb4419efc9
0ca848ahttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/0ca848a816f633c22f06f86183180bcb4419efc9
https://github.com/IlyaMuravjov
Comment out includes for IDE related projects in settings.gradle.ktshttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/9442c722475bd2afebd601ccde0e17d4a506d6e3
9442c72https://github.com/UnitTestBot/UTBotJava/pull/2677/commits/9442c722475bd2afebd601ccde0e17d4a506d6e3
https://github.com/IlyaMuravjov
Avoid using burningwave to export modules on Java 8https://github.com/UnitTestBot/UTBotJava/pull/2677/commits/f37c1ebce64c4a67d830abeec56ba91ce7464480
f37c1ebhttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/f37c1ebce64c4a67d830abeec56ba91ce7464480
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/EgorkaKulikov
IlyaMuravjovhttps://github.com/IlyaMuravjov
November 8, 2023 15:03https://github.com/UnitTestBot/UTBotJava/pull/2677#event-10902107039
https://github.com/IlyaMuravjov
IlyaMuravjovhttps://github.com/IlyaMuravjov
Nov 8, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2677#pullrequestreview-1720587479
View reviewed changes https://github.com/UnitTestBot/UTBotJava/pull/2677/files/f37c1ebce64c4a67d830abeec56ba91ce7464480
utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/ContestUsvm.kthttps://github.com/UnitTestBot/UTBotJava/pull/2677/files/f37c1ebce64c4a67d830abeec56ba91ce7464480#diff-a3360e91f04b005038834b8b5259e58dcea9415be7b15d0c7a9443f6ca52b81b
IlyaMuravjovhttps://github.com/IlyaMuravjov
Nov 8, 2023https://github.com/UnitTestBot/UTBotJava/pull/2677#discussion_r1386770455
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2677
utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/ConverterUtils.kthttps://github.com/UnitTestBot/UTBotJava/pull/2677/files/f37c1ebce64c4a67d830abeec56ba91ce7464480#diff-8b6376f052d23ea64c4ee20a32cabfcc8527bb87583d2f4718c789c39f5d3321
IlyaMuravjovhttps://github.com/IlyaMuravjov
Nov 8, 2023https://github.com/UnitTestBot/UTBotJava/pull/2677#discussion_r1386778496
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2677
utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/JcToUtExecutionConverter.kthttps://github.com/UnitTestBot/UTBotJava/pull/2677/files/f37c1ebce64c4a67d830abeec56ba91ce7464480#diff-e74cbc7200b5b4d99c2ba8266f5d1fa01f2e62c1276e9fa3240f583c294bba17
IlyaMuravjovhttps://github.com/IlyaMuravjov
Nov 8, 2023https://github.com/UnitTestBot/UTBotJava/pull/2677#discussion_r1386790333
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2677
utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/JcToUtModelConverter.kthttps://github.com/UnitTestBot/UTBotJava/pull/2677/files/f37c1ebce64c4a67d830abeec56ba91ce7464480#diff-6b89106ed4166d56d495cf83d99797fdc58066fc8930454f43740d3508c0be26
IlyaMuravjovhttps://github.com/IlyaMuravjov
Nov 8, 2023https://github.com/UnitTestBot/UTBotJava/pull/2677#discussion_r1386798196
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2677
utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/UTestInst2UtModelConverter.kthttps://github.com/UnitTestBot/UTBotJava/pull/2677/files/f37c1ebce64c4a67d830abeec56ba91ce7464480#diff-8d5528ad27bfa9685d08399a9dbf03cc580d900916ff506f412b2a5b24e7b6d9
IlyaMuravjovhttps://github.com/IlyaMuravjov
Nov 8, 2023https://github.com/UnitTestBot/UTBotJava/pull/2677#discussion_r1386805139
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2677
utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/ConverterUtils.kthttps://github.com/UnitTestBot/UTBotJava/pull/2677/files/f37c1ebce64c4a67d830abeec56ba91ce7464480#diff-8b6376f052d23ea64c4ee20a32cabfcc8527bb87583d2f4718c789c39f5d3321
IlyaMuravjovhttps://github.com/IlyaMuravjov
Nov 8, 2023https://github.com/UnitTestBot/UTBotJava/pull/2677#discussion_r1386818552
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2677
utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/UTestInst2UtModelConverter.kthttps://github.com/UnitTestBot/UTBotJava/pull/2677/files/f37c1ebce64c4a67d830abeec56ba91ce7464480#diff-8d5528ad27bfa9685d08399a9dbf03cc580d900916ff506f412b2a5b24e7b6d9
IlyaMuravjovhttps://github.com/IlyaMuravjov
Nov 8, 2023https://github.com/UnitTestBot/UTBotJava/pull/2677#discussion_r1386825007
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2677
EgorkaKulikovhttps://github.com/EgorkaKulikov
November 8, 2023 19:25https://github.com/UnitTestBot/UTBotJava/pull/2677#commits-pushed-cea02dd
https://github.com/EgorkaKulikov
Fix review commentshttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/cea02dd28c9b7f82b4de33a4523ab730cdf53d2a
cea02ddhttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/cea02dd28c9b7f82b4de33a4523ab730cdf53d2a
https://github.com/EgorkaKulikov
Fix review commentshttps://github.com/UnitTestBot/UTBotJava/pull/2677/commits/813c2d6e37e487c6e06144ddeefaf53a7b9fceab
813c2d6https://github.com/UnitTestBot/UTBotJava/pull/2677/commits/813c2d6e37e487c6e06144ddeefaf53a7b9fceab
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/EgorkaKulikov
092a27ahttps://github.com/UnitTestBot/UTBotJava/commit/092a27a58b2dae30d8debd5a750450dd04c2512d
Nov 9, 2023https://github.com/UnitTestBot/UTBotJava/pull/2677#event-10910334078
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/EgorkaKulikov
November 9, 2023 09:01https://github.com/UnitTestBot/UTBotJava/pull/2677#event-10910334262
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/EgorkaKulikov
November 13, 2023 13:28https://github.com/UnitTestBot/UTBotJava/pull/2677#event-10941786869
EgorkaKulikovhttps://github.com/EgorkaKulikov
Dec 8, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2677#ref-commit-deedfc7
https://github.com/IlyaMuravjov
https://github.com/EgorkaKulikov
https://github.com/tepa46
https://github.com/Damtev
https://github.com/Saloed
https://github.com/sergeypospelov
USVM to UtBot adapters without contest hacks (https://github.com/UnitTestBot/UTBotJava/commit/deedfc7da45f8f26fe7a3658cb1163289c020e60
#2710https://github.com/UnitTestBot/UTBotJava/pull/2710
)https://github.com/UnitTestBot/UTBotJava/commit/deedfc7da45f8f26fe7a3658cb1163289c020e60
deedfc7https://github.com/UnitTestBot/UTBotJava/commit/deedfc7da45f8f26fe7a3658cb1163289c020e60
#2666https://github.com/UnitTestBot/UTBotJava/pull/2666
#2676https://github.com/UnitTestBot/UTBotJava/pull/2676
#2677https://github.com/UnitTestBot/UTBotJava/pull/2677
#2680https://github.com/UnitTestBot/UTBotJava/pull/2680
#2678https://github.com/UnitTestBot/UTBotJava/pull/2678
#2681https://github.com/UnitTestBot/UTBotJava/pull/2681
#2684https://github.com/UnitTestBot/UTBotJava/pull/2684
#2683https://github.com/UnitTestBot/UTBotJava/pull/2683
#2682https://github.com/UnitTestBot/UTBotJava/pull/2682
#2685https://github.com/UnitTestBot/UTBotJava/pull/2685
#2686https://github.com/UnitTestBot/UTBotJava/pull/2686
#2689https://github.com/UnitTestBot/UTBotJava/pull/2689
#2687https://github.com/UnitTestBot/UTBotJava/pull/2687
#2691https://github.com/UnitTestBot/UTBotJava/pull/2691
#2694https://github.com/UnitTestBot/UTBotJava/pull/2694
#2695https://github.com/UnitTestBot/UTBotJava/pull/2695
#2690https://github.com/UnitTestBot/UTBotJava/pull/2690
#2696https://github.com/UnitTestBot/UTBotJava/pull/2696
#2697https://github.com/UnitTestBot/UTBotJava/pull/2697
#2698https://github.com/UnitTestBot/UTBotJava/pull/2698
#2699https://github.com/UnitTestBot/UTBotJava/pull/2699
#2627https://github.com/UnitTestBot/UTBotJava/pull/2627
#2700https://github.com/UnitTestBot/UTBotJava/pull/2700
62f25adhttps://github.com/UnitTestBot/UTBotJava/commit/62f25ad41446d3291934c3a12d7f28952003a17c
#2701https://github.com/UnitTestBot/UTBotJava/pull/2701
#2702https://github.com/UnitTestBot/UTBotJava/pull/2702
#2703https://github.com/UnitTestBot/UTBotJava/pull/2703
#2704https://github.com/UnitTestBot/UTBotJava/pull/2704
#2705https://github.com/UnitTestBot/UTBotJava/pull/2705
#2706https://github.com/UnitTestBot/UTBotJava/pull/2706
#2707https://github.com/UnitTestBot/UTBotJava/pull/2707
#2708https://github.com/UnitTestBot/UTBotJava/pull/2708
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%2F2677
https://github.com/IlyaMuravjov
IlyaMuravjov https://github.com/IlyaMuravjov
https://github.com/UnitTestBot/UTBotJava/pull/2677/files/f37c1ebce64c4a67d830abeec56ba91ce7464480
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2677
https://github.com/EgorkaKulikov
https://github.com/IlyaMuravjov
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.