Skip to content

Commit

Permalink
Bump coverage
Browse files Browse the repository at this point in the history
  • Loading branch information
pavel-mikula-sonarsource committed Mar 10, 2022
1 parent 19f640b commit 987cbcd
Showing 1 changed file with 20 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -393,6 +393,26 @@ public void Branching_NoConstraint_VisitsBothBranches()
"End");
}

[TestMethod]
public void Branching_OtherConstraint_VisitsBothBranches()
{
const string code = @"
if (boolParameter)
{
Tag(""If"");
}
else
{
Tag(""Else"");
}
Tag(""End"");";
var check = new PostProcessTestCheck(x => x.Operation.Instance.TrackedSymbol() is { } symbol ? x.SetSymbolConstraint(symbol, DummyConstraint.Dummy) : x.State);
SETestContext.CreateCS(code, check).Validator.ValidateTagOrder(
"If",
"Else",
"End");
}

[TestMethod]
public void Branching_BoolConstraints_ComplexCase()
{
Expand Down

0 comments on commit 987cbcd

Please sign in to comment.