René's URL Explorer Experiment


Title: Damtev/symbolic tests fixes by Damtev · Pull Request #1253 · UnitTestBot/UTBotJava · GitHub

Open Graph Title: Damtev/symbolic tests fixes by Damtev · Pull Request #1253 · UnitTestBot/UTBotJava

X Title: Damtev/symbolic tests fixes by Damtev · Pull Request #1253 · UnitTestBot/UTBotJava

Description: Description As long as concrete execution is enabled in the testing pipeline, we miss some mistakes in the symbolic engine. To make detecting them easier, this request disables concrete execution f...

Open Graph Description: Description As long as concrete execution is enabled in the testing pipeline, we miss some mistakes in the symbolic engine. To make detecting them easier, this request disables concrete execution f...

X Description: Description As long as concrete execution is enabled in the testing pipeline, we miss some mistakes in the symbolic engine. To make detecting them easier, this request disables concrete execution f...

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

X: @github

direct link

Domain: patch-diff.githubusercontent.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:bce13ca7-5934-f022-1674-6369a883f1db
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idC9D0:3DC0AA:11BF6E:171E51:698D3448
html-safe-nonce89c6945396978abd71457ce99318dbffae3469b558bba372c603a3040055b60c
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJDOUQwOjNEQzBBQToxMUJGNkU6MTcxRTUxOjY5OEQzNDQ4IiwidmlzaXRvcl9pZCI6IjcwMzAxNjE1NzAzMzcyMDczNjgiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmac15bcc22bd4c5c1fcf7be68ed6d5ae5cae0716eb96ffc9eac11918712cda5a24f
hovercard-subject-tagpull_request:1102435903
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/1253/pull_request_layout
twitter:imagehttps://opengraph.githubassets.com/04319daaea806e623d939cadc9f8ee968920484b9e42e3d64555efbc30dfa1af/UnitTestBot/UTBotJava/pull/1253
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/04319daaea806e623d939cadc9f8ee968920484b9e42e3d64555efbc30dfa1af/UnitTestBot/UTBotJava/pull/1253
og:image:altDescription As long as concrete execution is enabled in the testing pipeline, we miss some mistakes in the symbolic engine. To make detecting them easier, this request disables concrete execution f...
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernameDamtev
hostnamegithub.com
expected-hostnamegithub.com
None685c54ce10ba532f53d13f7d7048395579317474c9e237f293605dec92d65284
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
release8e173e7f9a7a23f40f2b89fda985ea0b7eb22f63
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253#start-of-content
https://patch-diff.githubusercontent.com/
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fpull%2F1253
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://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fpull%2F1253
Sign up https://patch-diff.githubusercontent.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://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253
Reloadhttps://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253
Reloadhttps://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253
UnitTestBot https://patch-diff.githubusercontent.com/UnitTestBot
UTBotJavahttps://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava
Notifications https://patch-diff.githubusercontent.com/login?return_to=%2FUnitTestBot%2FUTBotJava
Fork 45 https://patch-diff.githubusercontent.com/login?return_to=%2FUnitTestBot%2FUTBotJava
Star 142 https://patch-diff.githubusercontent.com/login?return_to=%2FUnitTestBot%2FUTBotJava
Code https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava
Issues 386 https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/issues
Pull requests 33 https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pulls
Discussions https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/discussions
Actions https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/actions
Projects 1 https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/projects
Wiki https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/wiki
Security 0 https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/security
Insights https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pulse
Code https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava
Issues https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/issues
Pull requests https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pulls
Discussions https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/discussions
Actions https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/actions
Projects https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/projects
Wiki https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/wiki
Security https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/security
Insights https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pulse
Sign up for GitHub https://patch-diff.githubusercontent.com/signup?return_to=%2FUnitTestBot%2FUTBotJava%2Fissues%2Fnew%2Fchoose
terms of servicehttps://docs.github.com/terms
privacy statementhttps://docs.github.com/privacy
Sign inhttps://patch-diff.githubusercontent.com/login?return_to=%2FUnitTestBot%2FUTBotJava%2Fissues%2Fnew%2Fchoose
Jump to bottomhttps://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253#issue-comment-box
Damtevhttps://patch-diff.githubusercontent.com/Damtev
mainhttps://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/tree/main
damtev/symbolic_tests_fixeshttps://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/tree/damtev/symbolic_tests_fixes
Damtev/symbolic tests fixes https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253#top
Damtevhttps://patch-diff.githubusercontent.com/Damtev
mainhttps://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/tree/main
damtev/symbolic_tests_fixeshttps://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/tree/damtev/symbolic_tests_fixes
Conversation 0 https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253
Commits 11 https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253/commits
Checks 0 https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253/checks
Files changed https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253/files
Please reload this pagehttps://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253
https://github.co/hiddenchars
https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/{{ revealButtonHref }}
https://patch-diff.githubusercontent.com/Damtev
Damtevhttps://patch-diff.githubusercontent.com/Damtev
Oct 28, 2022https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253#issue-1426478077
Please reload this pagehttps://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253
Damtevhttps://patch-diff.githubusercontent.com/Damtev
October 28, 2022 09:42https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253#commits-pushed-de2d0e2
https://patch-diff.githubusercontent.com/Damtev
Disabled concrete execution for testshttps://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253/commits/de2d0e29bc9dd7e076574e45c55bb85eef2380ed
de2d0e2https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253/commits/de2d0e29bc9dd7e076574e45c55bb85eef2380ed
https://patch-diff.githubusercontent.com/Damtev
Used coverage calculation instead of matchers for flaky executions nu…https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253/commits/38597a77c48464fafd575672ff2874678a3e1442
38597a7https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253/commits/38597a77c48464fafd575672ff2874678a3e1442
https://patch-diff.githubusercontent.com/Damtev
Used coverage calculation instead of matchers for flaky executions nu…https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253/commits/f972a93fd30bab6b589018e3b924c8aeb7eca3e7
f972a93https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253/commits/f972a93fd30bab6b589018e3b924c8aeb7eca3e7
https://patch-diff.githubusercontent.com/Damtev
Used coverage calculation instead of matchers for flaky executions nu…https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253/commits/ad246cb7dd11a88d63021ac5b6cde759d77302f9
ad246cbhttps://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253/commits/ad246cb7dd11a88d63021ac5b6cde759d77302f9
https://patch-diff.githubusercontent.com/Damtev
Used coverage calculation instead of matchers for flaky executions nu…https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253/commits/bd06798dbbb451696fbc06b2360ba25f4a315151
bd06798https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253/commits/bd06798dbbb451696fbc06b2360ba25f4a315151
https://patch-diff.githubusercontent.com/Damtev
Fixed rebase errorshttps://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253/commits/a8d1f92bdfc42c80dcbc21093926a49c2bb7441a
a8d1f92https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253/commits/a8d1f92bdfc42c80dcbc21093926a49c2bb7441a
https://patch-diff.githubusercontent.com/Damtev
Fixed matchers for lambda testhttps://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253/commits/56dbfd0df7f53fe5e8f54736f12aa2e2d7935ac1
56dbfd0https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253/commits/56dbfd0df7f53fe5e8f54736f12aa2e2d7935ac1
https://patch-diff.githubusercontent.com/Damtev
Added task for other failed testshttps://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253/commits/5b47b3bafc2cca06309fd35aafecbe4013f20540
5b47b3bhttps://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253/commits/5b47b3bafc2cca06309fd35aafecbe4013f20540
https://patch-diff.githubusercontent.com/Damtev
Removed redundant withoutConcretehttps://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253/commits/53411ad5dc4f5e947053c7e6c1de29d63ced9f95
53411adhttps://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253/commits/53411ad5dc4f5e947053c7e6c1de29d63ced9f95
https://patch-diff.githubusercontent.com/Damtev
Damtevhttps://patch-diff.githubusercontent.com/Damtev
force-pushedhttps://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/compare/2951202bc22d2a3bb124f990dac818f29978fe9b..53411ad5dc4f5e947053c7e6c1de29d63ced9f95
2951202https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/commit/2951202bc22d2a3bb124f990dac818f29978fe9b
53411adhttps://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/commit/53411ad5dc4f5e947053c7e6c1de29d63ced9f95
Compare https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/compare/2951202bc22d2a3bb124f990dac818f29978fe9b..53411ad5dc4f5e947053c7e6c1de29d63ced9f95
October 28, 2022 01:42https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253#event-7687281935
https://patch-diff.githubusercontent.com/Damtev
Damtevhttps://patch-diff.githubusercontent.com/Damtev
October 28, 2022 01:42https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253#event-7687285619
https://patch-diff.githubusercontent.com/Damtev
Damtevhttps://patch-diff.githubusercontent.com/Damtev
CaelmBleiddhttps://patch-diff.githubusercontent.com/CaelmBleidd
October 28, 2022 01:42https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253#event-7687286414
https://patch-diff.githubusercontent.com/Damtev
Damtevhttps://patch-diff.githubusercontent.com/Damtev
comp-symbolic-engine https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/issues?q=state%3Aopen%20label%3Acomp-symbolic-engine
Oct 28, 2022https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253#event-7687288621
Damtevhttps://patch-diff.githubusercontent.com/Damtev
October 28, 2022 11:18https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253#commits-pushed-b8e8469
https://patch-diff.githubusercontent.com/Damtev
Unshelved forgotten changeshttps://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253/commits/b8e8469e1abd1128d635d17cbb0eb2e764cea61c
b8e8469https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253/commits/b8e8469e1abd1128d635d17cbb0eb2e764cea61c
https://patch-diff.githubusercontent.com/Damtev
Fixed failed testhttps://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253/commits/2f132367659c523b705c0ad129999e83bdb0a938
2f13236https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253/commits/2f132367659c523b705c0ad129999e83bdb0a938
https://patch-diff.githubusercontent.com/Damtev
Damtevhttps://patch-diff.githubusercontent.com/Damtev
November 1, 2022 08:56https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253#event-7711420730
https://patch-diff.githubusercontent.com/CaelmBleidd
CaelmBleiddhttps://patch-diff.githubusercontent.com/CaelmBleidd
November 3, 2022 03:18https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253#event-7728620899
Sign up for freehttps://patch-diff.githubusercontent.com/join?source=comment-repo
Sign in to commenthttps://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fpull%2F1253
Copilot code review https://patch-diff.githubusercontent.com/apps/copilot-pull-request-reviewer
Copilot https://patch-diff.githubusercontent.com/apps/copilot-pull-request-reviewer
comp-symbolic-engine https://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/issues?q=state%3Aopen%20label%3Acomp-symbolic-engine
UTBot Java https://patch-diff.githubusercontent.com/orgs/UnitTestBot/projects/2
Please reload this pagehttps://patch-diff.githubusercontent.com/UnitTestBot/UTBotJava/pull/1253
https://patch-diff.githubusercontent.com/Damtev
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.