Skip to content
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

Damtev/symbolic tests fixes #1253

Draft
wants to merge 11 commits into
base: main
Choose a base branch
from
Draft

Damtev/symbolic tests fixes #1253

wants to merge 11 commits into from

Conversation

Damtev
Copy link
Member

@Damtev Damtev commented Oct 28, 2022

Description

As long as concrete execution is enabled in the testing pipeline, we miss some mistakes in the symbolic engine. To make detecting them easier, this request disables concrete execution for most of the tests.

Type of Change

  • Breaking change (fix or feature that would cause existing functionality to not work as expected)

Checklist (remove irrelevant options):

  • The change followed the style guidelines of the UTBot project
  • No new warnings
  • All tests pass locally with my changes

@Damtev Damtev force-pushed the damtev/symbolic_tests_fixes branch from 2951202 to 53411ad Compare October 28, 2022 01:42
@Damtev Damtev marked this pull request as ready for review October 28, 2022 01:42
@Damtev Damtev added the comp-symbolic-engine Issue is related to the symbolic execution engine label Oct 28, 2022
@Damtev Damtev marked this pull request as draft November 1, 2022 08:56
@CaelmBleidd CaelmBleidd removed their request for review November 3, 2022 03:18
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
Projects
Status: Todo
Development

Successfully merging this pull request may close these issues.

1 participant