Skip to content

Conversation

@sofurihafe
Copy link
Member

Description

Fixes #1869

How to test

Automated tests

Not relevant.

Manual tests

Generate tests for getAllNames() method in AnimalsAndPeople project. Verify that there are no soot.dummy.InvokeDynamic statement in Summaries text.

@sofurihafe sofurihafe added comp-summaries Something related to the method names, code comments and display names generation ctg-bug-fix PR is fixing a bug labels Jul 10, 2023
@sofurihafe sofurihafe requested a review from EgorkaKulikov July 10, 2023 16:56
@sofurihafe sofurihafe force-pushed the andrey-t/soot_dummy_summarization branch from 48d816f to 3f55f01 Compare July 11, 2023 12:05
@sofurihafe sofurihafe changed the title Prohibit makeConcatWithConstants in summaries text Prohibit soot.dummy.InvokeDynamic in summaries name and comment text Jul 11, 2023
@EgorkaKulikov EgorkaKulikov enabled auto-merge (squash) July 11, 2023 12:19
@EgorkaKulikov EgorkaKulikov self-requested a review July 11, 2023 12:19
@EgorkaKulikov EgorkaKulikov merged commit a302d1e into main Jul 11, 2023
@EgorkaKulikov EgorkaKulikov deleted the andrey-t/soot_dummy_summarization branch July 11, 2023 12:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

comp-summaries Something related to the method names, code comments and display names generation ctg-bug-fix PR is fixing a bug

Projects

None yet

Development

Successfully merging this pull request may close these issues.

@utbot.invokes {@link soot.dummy.InvokeDynamic in JavaDoc for test method

3 participants