2021-05-26 00:34:34 +02:00
|
|
|
module Main
|
|
|
|
|
( main
|
|
|
|
|
) where
|
|
|
|
|
|
|
|
|
|
import qualified Spec.Model
|
2021-05-27 15:00:09 +02:00
|
|
|
import qualified Spec.ModelWithClose
|
2021-05-26 00:34:34 +02:00
|
|
|
import qualified Spec.Trace
|
2021-05-27 15:00:09 +02:00
|
|
|
import qualified Spec.TraceWithClose
|
2021-05-26 00:34:34 +02:00
|
|
|
import Test.Tasty
|
|
|
|
|
|
|
|
|
|
main :: IO ()
|
|
|
|
|
main = defaultMain tests
|
|
|
|
|
|
|
|
|
|
tests :: TestTree
|
|
|
|
|
tests = testGroup "token sale"
|
|
|
|
|
[ Spec.Trace.tests
|
2021-05-27 15:00:09 +02:00
|
|
|
, Spec.TraceWithClose.tests
|
2021-05-26 00:34:34 +02:00
|
|
|
, Spec.Model.tests
|
2021-05-27 15:00:09 +02:00
|
|
|
, Spec.ModelWithClose.tests
|
2021-05-26 00:34:34 +02:00
|
|
|
]
|
