Skip to content

Change a hard limit for arrays size #2006

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 5 commits into from
Mar 22, 2023
Merged

Conversation

CaelmBleidd
Copy link
Member

@CaelmBleidd CaelmBleidd commented Mar 22, 2023

Change the maximum size of arrays that can be processed by the symbolic engine

Description

The maximum supported size for arrays is increased up to 1024 elements. This setting, along with other similar ones, is extracted into the UtSettings.kt file.

Added support to testing methods with additional information about mock-always classes

Fixes #1980

How to test

Automated tests

org.utbot.examples.stdlib.JavaIOFileInputStreamCheckTest

Manual tests

There are no manual tests, but you can run generation as it described in the attached issue.

Self-check list

  • I've set the proper labels for my PR (at least, for category and component).
  • PR title and description are clear and intelligible.
  • I've added enough comments to my code, particularly in hard-to-understand areas.
  • The functionality I've repaired, changed or added is covered with automated tests.
  • Manual tests have been provided optionally.
  • The documentation for the functionality I've been working on is up-to-date.

@CaelmBleidd CaelmBleidd added ctg-enhancement New feature, improvement or change request comp-symbolic-engine Issue is related to the symbolic execution engine labels Mar 22, 2023
@CaelmBleidd CaelmBleidd requested a review from Damtev March 22, 2023 08:42
@CaelmBleidd CaelmBleidd requested a review from Damtev March 22, 2023 10:24
@CaelmBleidd CaelmBleidd enabled auto-merge (squash) March 22, 2023 10:39
@CaelmBleidd CaelmBleidd merged commit fde5281 into main Mar 22, 2023
@CaelmBleidd CaelmBleidd deleted the caelmbleidd/array_size branch March 22, 2023 11:52
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
Archived in project
Development

Successfully merging this pull request may close these issues.

Mock error (FileInputStream)
2 participants