TODO note

IntersectMBO · Oct 12, 2021 · caf3166 · caf3166
1 parent 9ae8022
commit caf3166
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/plutus-contract/src/Plutus/Contract/Test/ContractModel.hs b/plutus-contract/src/Plutus/Contract/Test/ContractModel.hs
@@ -1023,6 +1023,8 @@ finalChecks opts copts handleSpecs predicate prop = do
         assertResult :: Monad m => Bool -> PropertyM m ()
         assertResult = QC.assert
 
+-- TODO: Split this into some utility functions for collecting coverage (not checking
+-- it) that can be put in Plutus.Contract.Test.Coverage and re-used here.
 -- | Check endpoint coverage
 addEndpointCoverage :: CoverageOptions
                     -> [ContractInstanceSpec state]