Title: Prioritize Symbolic Engine executions · Issue #843 · UnitTestBot/UTBotJava · GitHub
Open Graph Title: Prioritize Symbolic Engine executions · Issue #843 · UnitTestBot/UTBotJava
X Title: Prioritize Symbolic Engine executions · Issue #843 · UnitTestBot/UTBotJava
Description: Description Sometimes we need to turn off Symbolic Engine and stop the test generation (and do not collect this execution) in case of mocking taking place when generating parameterized tests. However, Fuzzer can still add its executions ...
Open Graph Description: Description Sometimes we need to turn off Symbolic Engine and stop the test generation (and do not collect this execution) in case of mocking taking place when generating parameterized tests. Howev...
X Description: Description Sometimes we need to turn off Symbolic Engine and stop the test generation (and do not collect this execution) in case of mocking taking place when generating parameterized tests. Howev...
Opengraph URL: https://github.com/UnitTestBot/UTBotJava/issues/843
X: @github
Domain: github.com
{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Prioritize Symbolic Engine executions","articleBody":"**Description**\r\n\r\nSometimes we need to turn off *Symbolic Engine* and stop the test generation (and do not collect this execution) in case of mocking taking place when generating parameterized tests. However, *Fuzzer* can still add its executions which may lead to unwanted executions being processed later.\r\nThe suggestion is to prioritize *Symbolic Engine* executions in minimization process.\r\n\r\n**Details**\r\n\r\nRun parameterized test generation for *vertexSum* method from *Recursion* test set in plugin.\r\nCurrently, generated test will fail.\r\nWith [#845](https://github.com/UnitTestBot/UTBotJava/pull/845) changes applied it will lead to empty test class because we cut off all Fuzzer executions for the reason described above.","author":{"url":"https://github.com/sofurihafe","@type":"Person","name":"sofurihafe"},"datePublished":"2022-09-02T08:28:31.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":2},"url":"https://github.com/843/UTBotJava/issues/843"}
| route-pattern | /_view_fragments/issues/show/:user_id/:repository/:id/issue_layout(.:format) |
| route-controller | voltron_issues_fragments |
| route-action | issue_layout |
| fetch-nonce | v2:af984bfb-3f35-ba19-42c3-baafa091b0fd |
| current-catalog-service-hash | 81bb79d38c15960b92d99bca9288a9108c7a47b18f2423d0f6438c5b7bcd2114 |
| request-id | 83E0:A9CDC:13F91EF:19CFA80:6990D50B |
| html-safe-nonce | 5010dbc18458322c8eac29498b2b4587b0b17f7b107b997831e8296743316280 |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI4M0UwOkE5Q0RDOjEzRjkxRUY6MTlDRkE4MDo2OTkwRDUwQiIsInZpc2l0b3JfaWQiOiIxNDYyNDc5ODU2ODk3OTM4Njk5IiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0= |
| visitor-hmac | 527b1da8cad5c5bfffe3fd6fbd1c164aeb9bdb1b1671f7b2637a1037b84cad24 |
| hovercard-subject-tag | issue:1359874095 |
| github-keyboard-shortcuts | repository,issues,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/_view_fragments/issues/show/UnitTestBot/UTBotJava/843/issue_layout |
| twitter:image | https://opengraph.githubassets.com/3282f4ce228c7ec253ad46d8d329b66084c9b57c9c1d08a036398005aef82feb/UnitTestBot/UTBotJava/issues/843 |
| twitter:card | summary_large_image |
| og:image | https://opengraph.githubassets.com/3282f4ce228c7ec253ad46d8d329b66084c9b57c9c1d08a036398005aef82feb/UnitTestBot/UTBotJava/issues/843 |
| og:image:alt | Description Sometimes we need to turn off Symbolic Engine and stop the test generation (and do not collect this execution) in case of mocking taking place when generating parameterized tests. Howev... |
| og:image:width | 1200 |
| og:image:height | 600 |
| og:site_name | GitHub |
| og:type | object |
| og:author:username | sofurihafe |
| hostname | github.com |
| expected-hostname | github.com |
| None | 42c603b9d642c4a9065a51770f75e5e27132fef0e858607f5c9cb7e422831a7b |
| 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 |
| disable-turbo | false |
| browser-stats-url | https://api.github.com/_private/browser/stats |
| browser-errors-url | https://api.github.com/_private/browser/errors |
| release | 848bc6032dcc93a9a7301dcc3f379a72ba13b96e |
| ui-target | full |
| theme-color | #1e2327 |
| color-scheme | light dark |
Links:
Viewport: width=device-width