@@ -4834,13 +4834,6 @@ skipped-tests:
4834 - cron # Could not deduce (SOP.All (SOP.All Arbitrary) xss) arising from a use of ‘SOP.hcpure’
4834 - cron # Could not deduce (SOP.All (SOP.All Arbitrary) xss) arising from a use of ‘SOP.hcpure’
4835 - config-ini # https://github.com/aisamanra/config-ini/issues/22
4835 - config-ini # https://github.com/aisamanra/config-ini/issues/22
4837− # Doctest scope issues
4838− - genvalidity-hspec-aeson # https://github.com/NorfairKing/validity/issues/56
4839− - genvalidity-hspec-binary # https://github.com/NorfairKing/validity/issues/56
4840− - genvalidity-hspec-cereal # https://github.com/NorfairKing/validity/issues/56
4841− - genvalidity-hspec-optics # https://github.com/NorfairKing/validity/issues/56
4842− - genvalidity-property # https://github.com/NorfairKing/validity/issues/56
4844 # Runtime issues
4837 # Runtime issues
4845 - blank-canvas # Never finishes https://github.com/ku-fpg/blank-canvas/issues/73
4838 - blank-canvas # Never finishes https://github.com/ku-fpg/blank-canvas/issues/73
4846 - binary-search # Never finishes https://github.com/nushio3/binary-search/issues/2
4839 - binary-search # Never finishes https://github.com/nushio3/binary-search/issues/2