Integrational.hs

-- SPDX-FileCopyrightText: 2020 Tocqueville Group
--
-- SPDX-License-Identifier: LicenseRef-MIT-TQ

-- | Tests for integrational testing machinery.
module Test.Integrational
  ( test_Chain_id
  ) where

import Test.Tasty (TestTree)

import Morley.Michelson.Runtime.GState (gsChainId, initGState)
import Morley.Michelson.Typed
import Morley.Tezos.Core
import Test.Cleveland

type Param = ()
type Storage = Maybe ChainId

test_Chain_id :: TestTree
test_Chain_id = testScenarioOnEmulator "Chain id can be set" $ scenario do
  handle <- originateTypedSimple @Param @Storage @() "get_chain_id" Nothing contract
  call handle CallDefault ()
  getStorage handle @@== Just expectedChainId
  where
    contract = defaultContract @(ToT Param) @(ToT Storage) $
      DROP `Seq` CHAIN_ID `Seq` SOME `Seq` NIL `Seq` PAIR
    expectedChainId = gsChainId initGState