Support Assumptions in Query  #298

Activity

1. SBOne-Kenobi

   added

   ctg-enhancementNew feature, improvement or change requestNew feature, improvement or change request

   comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution engine

   on Jun 24, 2022
2. SBOne-Kenobi

   self-assigned this

   on Jun 24, 2022
3. korifey

   added this to UTBot Javaon Jun 24, 2022
4. korifey

   moved this to Todo in UTBot Javaon Jun 24, 2022
5. SBOne-Kenobi

   added

   ctg-refactoringIssue related to refactoring processIssue related to refactoring process

   on Jun 24, 2022
6. korifey commented on Jun 26, 2022

   

   korifey

   on Jun 26, 2022

   Contributor

   More actions

   Description

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

   Expected behavior

   Support assumptions on Query level.

   I don’t get. What is assumption? Could you provide an example?
7. SBOne-Kenobi commented on Jun 26, 2022

   

   SBOne-Kenobi

   on Jun 26, 2022

   Last edited by SBOne-Kenobi

   ContributorAuthor

   More actions

   Description
   Now assumptions are supported on UtSolver level. That is inefficient and may create new bugs.
   Expected behavior
   Support assumptions on Query level.

   I don’t get. What is assumption? Could you provide an example?

   Assumtion is a type of constraint from here #69
8. SBOne-Kenobi

   closed this as completedon Sep 17, 2022
9. Repository owner moved this from Todo to Done in UTBot Javaon Sep 17, 2022