Merge remote-tracking branch 'remotescion/master' into concurrency-mo…

…del-with-example
mlimbeck · Feb 20, 2024 · d8906b0 · d8906b0
2 parents 81bbe5c + 27ea1df
commit d8906b0
Show file tree

Hide file tree

Showing 7 changed files with 593 additions and 391 deletions.
diff --git a/router/assumptions.gobra b/router/assumptions.gobra
@@ -39,6 +39,12 @@ ensures malformedPath.ErrorMem()
 decreases _
 func establishMemMalformedPath()
 
+ghost
+ensures alreadySet != nil
+ensures alreadySet.ErrorMem()
+decreases _
+func establishAlreadySet()
+
 ghost
 ensures unsupportedPathTypeNextHeader.ErrorMem()
 decreases _