One more TODO

GaloisInc · Feb 11, 2025 · bc27384 · bc27384
1 parent f9aaeeb
commit bc27384
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/components/mission_key_management/client.h b/components/mission_key_management/client.h
@@ -92,8 +92,9 @@ function (boolean) ValidState (u32 state) {
 }
 $*/
 
-// TODO Wrapper predicate for the allocation record. We distinguish between
-// cases because `cn test` doesn't handle Alloc() yet
+// NOTE Wrapper predicate for the allocation record. We distinguish between
+// cases because `cn test` doesn't handle Alloc() yet. See
+// https://github.com/rems-project/cerberus/issues/776
 #if ! defined(CN_TEST)
 /*$
 predicate (boolean) ClientAlloc (pointer p)