Skip to content

Support Assumptions in Query  #298

New issue
New issue
Closed
Closed
Support Assumptions in Query #298
Assignees
SBOne-Kenobi
Labels
comp-symbolic-engineIssue is related to the symbolic execution enginectg-enhancementNew feature, improvement or change requestctg-refactoringIssue related to refactoring process
@SBOne-Kenobi

Description

@SBOne-Kenobi
SBOne-Kenobi
opened on Jun 24, 2022

Description

Now assumptions are supported on UtSolver level. That is inefficient and may create new bugs.

Expected behavior

Support assumptions on Query level.

Metadata

Metadata

Assignees

Labels

comp-symbolic-engineIssue is related to the symbolic execution enginectg-enhancementNew feature, improvement or change requestctg-refactoringIssue related to refactoring process

Type

No type

Projects

UTBot Java

Status

Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions