Title: Prohibit to set static fields from library classes #697 by sergeypospelov · Pull Request #699 · UnitTestBot/UTBotJava · GitHub
Open Graph Title: Prohibit to set static fields from library classes #697 by sergeypospelov · Pull Request #699 · UnitTestBot/UTBotJava
X Title: Prohibit to set static fields from library classes #697 by sergeypospelov · Pull Request #699 · UnitTestBot/UTBotJava
Description: Description It's prohibited now to set static fields from predefined library classes. This is done by filtering fields which are added to meaningfulStaticFields in Traverser. Also these fields won't be substituted with unbounded symbolic variables. Add flag in UtSettings for this feature. Refactored initializedStaticFields field in Memory. Refactored docs for WorkaroundReason. Fixes #697 Type of Change Bug fix (non-breaking change which fixes an issue) How Has This Been Tested? Manual Scenario To reproduce section from #697 works correctly. Checklist (remove irrelevant options): 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 All tests pass locally with my changes
Open Graph Description: Description It's prohibited now to set static fields from predefined library classes. This is done by filtering fields which are added to meaningfulStaticFields in Traverser. Also these fields...
X Description: Description It's prohibited now to set static fields from predefined library classes. This is done by filtering fields which are added to meaningfulStaticFields in Traverser. Also these fi...
Opengraph URL: https://github.com/UnitTestBot/UTBotJava/pull/699
X: @github
Domain: github.com
| route-pattern | /:user_id/:repository/pull/:id/files(.:format) |
| route-controller | pull_requests |
| route-action | files |
| fetch-nonce | v2:5cdb65f2-6ecf-8c32-be05-175c28b5e3b2 |
| current-catalog-service-hash | ae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b |
| request-id | AF54:E0D53:2DE100:3B81C0:698E72B0 |
| html-safe-nonce | 67892d1ba95b0d0d0db0ffd17c0c2f681a04367c1303a88940b6559708cfcf90 |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJBRjU0OkUwRDUzOjJERTEwMDozQjgxQzA6Njk4RTcyQjAiLCJ2aXNpdG9yX2lkIjoiMTkxMDE4MDE5NTQ5NjUyMjQxNiIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9 |
| visitor-hmac | 080ff1163188d57603e4a423806b9fda4aa2bc09e16ba959cca3c4724b720151 |
| hovercard-subject-tag | pull_request:1022473440 |
| github-keyboard-shortcuts | repository,pull-request-list,pull-request-conversation,pull-request-files-changed,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/699/files |
| twitter:image | https://avatars.githubusercontent.com/u/30112817?s=400&v=4 |
| twitter:card | summary_large_image |
| og:image | https://avatars.githubusercontent.com/u/30112817?s=400&v=4 |
| og:image:alt | Description It's prohibited now to set static fields from predefined library classes. This is done by filtering fields which are added to meaningfulStaticFields in Traverser. Also these fields... |
| og:site_name | GitHub |
| og:type | object |
| hostname | github.com |
| expected-hostname | github.com |
| None | f86603f0b4e9df9a462725324a8c84c98fc50866bdb6ae8ff026fabe56a60c57 |
| turbo-cache-control | no-preview |
| diff-view | unified |
| 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 |
| disable-turbo | true |
| browser-stats-url | https://api.github.com/_private/browser/stats |
| browser-errors-url | https://api.github.com/_private/browser/errors |
| release | 7eb8835f5978c5aa7a64336b39e0774a93a9a196 |
| ui-target | full |
| theme-color | #1e2327 |
| color-scheme | light dark |
Links:
Viewport: width=device-width