remove outdated comment

GaloisInc · Apr 26, 2021 · 1342765 · 1342765
1 parent 2853a5a
commit 1342765
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/crux-mir-comp/src/Mir/Compositional/Override.hs b/crux-mir-comp/src/Mir/Compositional/Override.hs
@@ -304,10 +304,6 @@ runSpec cs mh ms = do
 
     -- Handle return value and post-state PointsTos
 
-    -- TODO: clobber all writable memory that's accessible in the pre state
-    -- + record mut vs imm for each reference discovered within args
-    -- + clobber all mut memory
-
     let retTy = maybe (M.TyTuple []) id $ ms ^. MS.csRet
     let retTpr = handleReturnType mh
     let retShp = tyToShapeEq col retTy retTpr