jvm-binary-0.9.0: test/Language/JVM/Attribute/ExceptionsSpec.hs

{-# OPTIONS_GHC -fno-warn-orphans #-}
{-# LANGUAGE FlexibleInstances #-}

module Language.JVM.Attribute.ExceptionsSpec where

import           SpecHelper

import           Language.JVM

import           Language.JVM.ConstantSpec         ()

spec :: Spec
spec =
  it "can do a roundtrip" $ property $ prop_roundtrip_Exceptions

prop_roundtrip_Exceptions :: Exceptions High -> Property
prop_roundtrip_Exceptions = isoRoundtrip

instance Arbitrary (Exceptions High) where
  arbitrary = genericArbitraryU