Title: ToString support for abstract collection using makeSymbolic #391 by CaelmBleidd · Pull Request #402 · UnitTestBot/UTBotJava · GitHub
Open Graph Title: ToString support for abstract collection using makeSymbolic #391 by CaelmBleidd · Pull Request #402 · UnitTestBot/UTBotJava
X Title: ToString support for abstract collection using makeSymbolic #391 by CaelmBleidd · Pull Request #402 · UnitTestBot/UTBotJava
Description: Description ToString for lists (as well as for other inheritors of AbstractCollection didn't work since it's too complicated for the engine because of StringBuilder usage somewhere inside of it. I've decided to make a temporary solution, implementing this method with makeSymbolic mechanism -- the method should return an unbounded symbolic variable, that will allow us to continue the analysis (in contrast to the executeConcretely). Later, the concrete execution will find the right result for such execution, if it's required. My suggestion is based on thoughts that people usually use toString on collections just for logging, showing or something like that, and the resulting line won't present in the path constraints. It's not 100% true, but in many cases, it will work. Fixes #391 Type of Change Breaking change. toString without concrete executor works differently now for the inheritors of the AbstractCollection and HashSet How Has This Been Tested? Automated Testing Added test in the corresponding package. Manual Scenario Same test, since it is only about toString method on any collection. Checklist: 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 No new warnings Tests that prove my change is effective All tests pass locally with my changes
Open Graph Description: Description ToString for lists (as well as for other inheritors of AbstractCollection didn't work since it's too complicated for the engine because of StringBuilder usage somewhere inside o...
X Description: Description ToString for lists (as well as for other inheritors of AbstractCollection didn't work since it's too complicated for the engine because of StringBuilder usage somewhere ...
Opengraph URL: https://github.com/UnitTestBot/UTBotJava/pull/402
X: @github
Domain: github.com
| route-pattern | /:user_id/:repository/pull/:id/checks(.:format) |
| route-controller | pull_requests |
| route-action | checks |
| fetch-nonce | v2:76aeed3f-78ba-4644-88ce-3305229c3484 |
| current-catalog-service-hash | 87dc3bc62d9b466312751bfd5f889726f4f1337bdff4e8be7da7c93d6c00a25a |
| request-id | DB3A:7AF86:42D800C:5A45FFE:698DD840 |
| html-safe-nonce | f8154ae44cf3c6b8995a66148481156adab6b685d4235107a12dcd1f4df8086d |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJEQjNBOjdBRjg2OjQyRDgwMEM6NUE0NUZGRTo2OThERDg0MCIsInZpc2l0b3JfaWQiOiIzMjk5NjY3ODQxNjM3MDEzNTY4IiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0= |
| visitor-hmac | c7d715cc8698989dbc1c4d93990f2ea26597ad669c84d8f42e6e12ec378e9e62 |
| hovercard-subject-tag | pull_request:986609275 |
| github-keyboard-shortcuts | repository,pull-request-list,pull-request-conversation,pull-request-files-changed,checks,copilot |
| google-site-verification | Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I |
| octolytics-url | https://collector.github.com/github/collect |
| analytics-location | / |
| fb:app_id | 1401488693436528 |
| apple-itunes-app | app-id=1477376905, app-argument=https://github.com/UnitTestBot/UTBotJava/pull/402/checks |
| twitter:image | https://avatars.githubusercontent.com/u/31047452?s=400&v=4 |
| twitter:card | summary_large_image |
| og:image | https://avatars.githubusercontent.com/u/31047452?s=400&v=4 |
| og:image:alt | Description ToString for lists (as well as for other inheritors of AbstractCollection didn't work since it's too complicated for the engine because of StringBuilder usage somewhere inside o... |
| og:site_name | GitHub |
| og:type | object |
| hostname | github.com |
| expected-hostname | github.com |
| None | 51102c619bffd74bf95dcf3796f0e599d197c0206d70e9e8b5c241b1b9707ee3 |
| turbo-cache-control | no-preview |
| go-import | github.com/UnitTestBot/UTBotJava git https://github.com/UnitTestBot/UTBotJava.git |
| octolytics-dimension-user_id | 87413538 |
| octolytics-dimension-user_login | UnitTestBot |
| octolytics-dimension-repository_id | 480810501 |
| octolytics-dimension-repository_nwo | UnitTestBot/UTBotJava |
| octolytics-dimension-repository_public | true |
| octolytics-dimension-repository_is_fork | false |
| octolytics-dimension-repository_network_root_id | 480810501 |
| octolytics-dimension-repository_network_root_nwo | UnitTestBot/UTBotJava |
| turbo-body-classes | logged-out env-production page-responsive full-width full-width-p-0 |
| disable-turbo | false |
| browser-stats-url | https://api.github.com/_private/browser/stats |
| browser-errors-url | https://api.github.com/_private/browser/errors |
| release | fcdeb213ace418f8a19d95dd6b93ba3337346169 |
| ui-target | full |
| theme-color | #1e2327 |
| color-scheme | light dark |
Links:
Viewport: width=device-width