@@ -4714,6 +4714,13 @@ skipped-tests:
4714 - cron # Could not deduce (SOP.All (SOP.All Arbitrary) xss) arising from a use of ‘SOP.hcpure’
4714 - cron # Could not deduce (SOP.All (SOP.All Arbitrary) xss) arising from a use of ‘SOP.hcpure’
4715 - config-ini # https://github.com/aisamanra/config-ini/issues/22
4715 - config-ini # https://github.com/aisamanra/config-ini/issues/22
4717+ # Doctest scope issues
4718+ - genvalidity-hspec-aeson # https://github.com/NorfairKing/validity/issues/56
4719+ - genvalidity-hspec-binary # https://github.com/NorfairKing/validity/issues/56
4720+ - genvalidity-hspec-cereal # https://github.com/NorfairKing/validity/issues/56
4721+ - genvalidity-hspec-optics # https://github.com/NorfairKing/validity/issues/56
4722+ - genvalidity-property # https://github.com/NorfairKing/validity/issues/56
4717 # Runtime issues
4724 # Runtime issues
4718 - blank-canvas # Never finishes https://github.com/ku-fpg/blank-canvas/issues/73
4725 - blank-canvas # Never finishes https://github.com/ku-fpg/blank-canvas/issues/73
4719 - binary-search # Never finishes https://github.com/nushio3/binary-search/issues/2
4726 - binary-search # Never finishes https://github.com/nushio3/binary-search/issues/2