Remove the failing test

Author: aniketd

eras/shelley/test-suite/test/Test/Cardano/Ledger/Shelley/RulesTests.hs

@@ -9,7 +9,6 @@
 module Test.Cardano.Ledger.Shelley.RulesTests (
   chainExamples,
   multisigExamples,
-  testTickF,
 ) where
 
 import Cardano.Ledger.BaseTypes (Network (..), StrictMaybe (..))
@@ -520,22 +519,3 @@ setDepositsToObligation nes = nes {nesEs = es {esLState = ls {lsUTxOState = utxo
               (lsCertState ls)
               (utxoState ^. utxosGovStateL)
         }
-
--- | This property test checks the correctness of the TICKF transation.
--- TICKF is used by the consensus layer to get a ledger view in a computationally
--- cheaper way than using the TICK rule.
--- Therefore TICKF and TICK need to compute the same ledger view.
-propTickfPerservesLedgerView :: NewEpochState ShelleyEra -> Property
-propTickfPerservesLedgerView nes =
-  let (EpochNo e) = nesEL nes
-      slot = slotFromEpoch (EpochNo $ e + 1)
-      nes' = setDepositsToObligation (filterEmptyRewards nes)
-      tickNes = runShelleyBase $ applySTSTest @(ShelleyTICK ShelleyEra) (TRC ((), nes', slot))
-      tickFNes = runShelleyBase $ applySTSTest @(ShelleyTICKF ShelleyEra) (TRC ((), nes', slot))
-   in fromMaybe discard $ do
-        Right tickNes' <- pure tickNes
-        Right tickFNes' <- pure tickFNes
-        pure $ currentLedgerView tickNes' === currentLedgerView tickFNes'
-
-testTickF :: TestTree
-testTickF = testProperty "TICKF properties" propTickfPerservesLedgerView

eras/shelley/test-suite/test/Tests.hs

@@ -16,7 +16,6 @@ import qualified Test.Cardano.Ledger.Shelley.Rules.Deposits as Deposits (tests)
 import qualified Test.Cardano.Ledger.Shelley.RulesTests as RulesTests (
   chainExamples,
   multisigExamples,
-  testTickF,
  )
 import qualified Test.Cardano.Ledger.Shelley.SafeHash as SafeHash (safeHashTest)
 import qualified Test.Cardano.Ledger.Shelley.Serialisation as Serialisation
@@ -52,7 +51,6 @@ defaultTests =
     , Serialisation.tests
     , RulesTests.chainExamples
     , RulesTests.multisigExamples
-    , RulesTests.testTickF
     , UnitTests.unitTests
     , SafeHash.safeHashTest
     ]