Files
Ian Denhardt 8cad8c974c First pass at canonicalization.
Includes a test, which is failing. `capnp convert binary:canonical`
reports that the message is not in binary form, and suggests it looks
flat. But this shouldn't be the case, and if we run `capnp convert
flat:canonical` the test also fails due to differing output. need to
debug.
2020-10-15 16:14:32 -04:00

40 lines
1.7 KiB
Haskell

module Main (main) where
import Test.Hspec
import Module.Capnp.Basics (basicsTests)
import Module.Capnp.Bits (bitsTests)
import Module.Capnp.Canonicalize (canonicalizeTests)
import Module.Capnp.Gen.Capnp.Schema (schemaTests)
import Module.Capnp.Gen.Capnp.Schema.Pure (pureSchemaTests)
import Module.Capnp.Pointer (ptrTests)
import Module.Capnp.Rpc (rpcTests)
import Module.Capnp.Untyped (untypedTests)
import Module.Capnp.Untyped.Pure (pureUntypedTests)
import Regression (regressionTests)
import Rpc.Unwrap (unwrapTests)
import SchemaQuickCheck (schemaCGRQuickCheck)
import WalkSchemaCodeGenRequest (walkSchemaCodeGenRequestTest)
import qualified CalculatorExample
main :: IO ()
main = hspec $ parallel $ do
describe "Tests for specific modules" $ do
describe "Capnp.Basics" basicsTests
describe "Capnp.Bits" bitsTests
describe "Capnp.Pointer" ptrTests
describe "Capnp.Rpc" rpcTests
describe "Capnp.Untyped" untypedTests
describe "Capnp.Untyped.Pure" pureUntypedTests
describe "Capnp.Canonicalize" canonicalizeTests
describe "Tests for generated output" $ do
describe "low-level output" schemaTests
describe "high-level output" pureSchemaTests
describe "Tests relate to schema" $ do
describe "tests using tests/data/schema-codegenreq" walkSchemaCodeGenRequestTest
describe "property tests for schema" schemaCGRQuickCheck
describe "Regression tests" regressionTests
CalculatorExample.tests
describe "Tests for client unwrapping" unwrapTests