Merge pull request #9255 from michaelnebel/csharp/test-clearscontent

C#: Remove default clears content.
This commit is contained in:
Michael Nebel
2022-05-23 10:30:30 +02:00
committed by GitHub
6 changed files with 21 additions and 28 deletions

View File

@@ -933,7 +933,8 @@ module Private {
summaryElement(this, inSpec, outSpec, kind, false)
or
summaryElement(this, inSpec, outSpec, kind, true) and
not summaryElement(this, _, _, _, false)
not summaryElement(this, _, _, _, false) and
not this.clearsContent(_, _)
}
override predicate propagatesFlow(