You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Now one test is generating that coversinstanceOf branch. @CaelmBleidd Can you please advise if symbolic engine should cover the case that condition is false?
If the engine covers only one branch where an object is of String type and doesn't cover other subtypes of CharSequence, it is OK (at least, it is known behaviour). It happens because all CharSequence are treated as strings, therefore, the negation of this makes all the branches with it unreachable.
So, we know about this behaviour, it is not what we want in the future, but it is too complicated to fix for now.
Description
Engine generates 1 execution for this method, but doesn't cover throw statement.
To Reproduce
Steps to reproduce the behavior:
Steps to reproduce the behavior:
Expected behavior
2 tests are supposed to be generated witch cover all statements.
Actual behavior
1 test generated that don't covers throw statement.
Visual proofs (screenshots, logs, images)
Additional context
This bug is a part of issue #820
The text was updated successfully, but these errors were encountered: