backup

viperproject · Oct 31, 2023 · 4dd3a35 · 4dd3a35
1 parent ee09594
commit 4dd3a35
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/verification/dependencies/errors/errors_spec.gobra b/verification/dependencies/errors/errors_spec.gobra
@@ -56,6 +56,7 @@ ensures   !res ==> err.ErrorMem()
 decreases err.Size()
 func As(err error, target ErrorCell) (res bool)
 
+// TODO: doc this as a spec mechanism
 type ErrorCell interface {
 	pred Mem()