Skip to content

Conversation

@Damtev
Copy link
Member

@Damtev Damtev commented Jan 11, 2023

Description

If non-static lambda is a parameter in an execution but its init section was not analyzed (e.g., an exception was thrown earlier), this captured instance could be constructed incorrectly (with null value) or not be constructed at all. We need to prevent such cases and construct at least an empty object for this instance.

Type of Change

  • Minor bug fix (non-breaking small changes)

How Has This Been Tested?

Automated Testing

Specify tests that help to verify the change automatically.

org.utbot.examples.lambda.ThrowingWithLambdaExampleTest#testAnyExample.

Manual Scenario

com.google.common.collect.TreeMultiset.forEachEntry in Contest Estimator.

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
  • New documentation is provided or existed one is altered
  • No new warnings
  • New tests have been added

@Damtev Damtev added the comp-symbolic-engine Issue is related to the symbolic execution engine label Jan 11, 2023
@Damtev Damtev requested a review from CaelmBleidd January 11, 2023 05:00
@Damtev Damtev requested a review from CaelmBleidd January 13, 2023 12:08
@Damtev Damtev merged commit edc1d8d into main Jan 16, 2023
@Damtev Damtev deleted the damtev/missed_this_instance_lambda_construction branch January 16, 2023 12:18
@alisevych alisevych added the ctg-bug-fix PR is fixing a bug label Jan 19, 2023
@alisevych alisevych added this to the 2023.03 Release milestone Mar 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

comp-symbolic-engine Issue is related to the symbolic execution engine ctg-bug-fix PR is fixing a bug

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

4 participants