Skip to content

Conversation

@EgorkaKulikov
Copy link
Collaborator

Description

Summaries are generated for ContestEstimator

  • for fuzzer - standard summarization
  • for symbolic executions - fuzzer-styled summarization with specific hack

Type of Change

  • Breaking change (fix or feature that would cause existing functionality to not work as expected)

How Has This Been Tested?

With ContestEstimator - generate tests on an arbitrary set of methods to obtain both symbolic and fuzzer executions

@EgorkaKulikov EgorkaKulikov force-pushed the andrey-t/summarization_in_contest_estimator branch 2 times, most recently from 0183418 to 842f903 Compare January 13, 2023 09:51
@EgorkaKulikov EgorkaKulikov force-pushed the andrey-t/summarization_in_contest_estimator branch from 301e36d to e742d41 Compare January 13, 2023 09:56
@EgorkaKulikov EgorkaKulikov merged commit f0095ab into main Jan 13, 2023
@EgorkaKulikov EgorkaKulikov deleted the andrey-t/summarization_in_contest_estimator branch January 13, 2023 11:18
@alisevych alisevych added comp-summaries Something related to the method names, code comments and display names generation comp-contest-estimator Issue is related to contest estimator ctg-enhancement New feature, improvement or change request labels Jan 19, 2023
@EgorkaKulikov EgorkaKulikov restored the andrey-t/summarization_in_contest_estimator branch January 20, 2023 18:27
@alisevych alisevych added this to the 2023.03 Release milestone Mar 21, 2023
@sofurihafe sofurihafe deleted the andrey-t/summarization_in_contest_estimator branch May 5, 2023 12:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

comp-contest-estimator Issue is related to contest estimator comp-summaries Something related to the method names, code comments and display names generation ctg-enhancement New feature, improvement or change request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants