import Test.QuickCheck
import Test.Tasty
import Test.Tasty.Hspec as HS

import Data.List
import Data.Ord

import qualified Test.Fluidity.EVM.Data.BytecodeSpec as BytecodeSpec
import qualified Test.Fluidity.EVM.Core.SystemSpec as SystemSpec