Skip to content

Use summaries in ContestEstimator #1661

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jan 13, 2023

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.

4 participants