Skip to content

Support Assumptions in Query  #298

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

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

Fields

No fields configured for issues without a type.

Projects

UTBot Java
Status
Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions