Skip to content

Conversation

@Damtev
Copy link
Member

@Damtev Damtev commented Jan 3, 2023

Description

Added UtMocks for classes java.lang.AutoCloseable, java.lang.Throwable, and java.security.AccessController.

Fixes #1617.

Type of Change

  • New feature (non-breaking change which adds functionality)

How Has This Been Tested?

Automated Testing

Default integration pipeline

Manual Scenario

Closed customer project.

Checklist:

  • 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
  • All tests pass locally with my changes

@Damtev Damtev requested a review from CaelmBleidd January 3, 2023 06:37
@Damtev Damtev merged commit 963bca1 into main Jan 4, 2023
@Damtev Damtev deleted the damtev/new_simple_wrappers branch January 4, 2023 11:25
@tyuldashev tyuldashev added ctg-enhancement New feature, improvement or change request comp-symbolic-engine Issue is related to the symbolic execution engine labels Jan 24, 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-enhancement New feature, improvement or change request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Wrappers for AutoCloseable, Throwable and AccessController

5 participants