Data flow: Sync files

This commit is contained in:
Tom Hvitved
2022-01-28 13:01:24 +01:00
parent 4bf07825a1
commit 682163962a
2 changed files with 6 additions and 2 deletions

View File

@@ -90,7 +90,9 @@ module Public {
predicate contains(SummaryComponent c) { c = this.drop(_).head() }
/** Gets the bottom element of this stack. */
SummaryComponent bottom() { result = this.drop(this.length() - 1).head() }
SummaryComponent bottom() {
this = TSingletonSummaryComponentStack(result) or result = this.tail().bottom()
}
/** Gets a textual representation of this stack. */
string toString() {