{-# OPTIONS --safe #-}
module Test.Examples where

import Test.Examples.SucceedIfNumber
import Test.Examples.HelloWorld


import Test.Examples.MultiSig.Datum
import Test.Examples.MultiSig.Validator
import Test.Examples.MultiSig.Test.Trace


import Test.Examples.AccountSim.Datum
import Test.Examples.AccountSim.Validator
import Test.Examples.AccountSim.Test.Trace


import Test.Examples.DEx.Datum
import Test.Examples.DEx.Validator
import Test.Examples.DEx.Test.Trace


import Test.Examples.MultiSigV2.Datum
import Test.Examples.MultiSigV2.Validator
import Test.Examples.MultiSigV2.Test.Trace