Test Result : TypeDependencyTests

0 failures (±0)
40 tests (±0)
Took 0.12 sec.

All Tests

Test nameDurationStatus
invariants16 msPassed
invariants16 msPassed
invariants16 msPassed
invariants16 msPassed
namedInvTypeNat0 msPassed
namedInvTypeNat0 msPassed
namedInvTypeNat1 msPassed
namedInvTypeNat1 msPassed
namedInvTypeNatOpt1 msPassed
namedInvTypeNatOpt1 msPassed
namedInvTypeNatOpt1 msPassed
namedInvTypeNatOpt1 msPassed
optionalNamed2 msPassed
optionalNamed2 msPassed
optionalNamed2 msPassed
optionalNamed2 msPassed
optionalUnion2 msPassed
optionalUnion2 msPassed
optionalUnion3 msPassed
optionalUnion3 msPassed
record3 msPassed
record3 msPassed
record3 msPassed
record3 msPassed
recursive1 msPassed
recursive1 msPassed
recursive1 msPassed
recursive1 msPassed
unionOfBasicAndOptBasic1 msPassed
unionOfBasicAndOptBasic2 msPassed
unionOfBasicAndOptBasic1 msPassed
unionOfBasicAndOptBasic2 msPassed
unionOfNamedInvTypes1 msPassed
unionOfNamedInvTypes2 msPassed
unionOfNamedInvTypes2 msPassed
unionOfNamedInvTypes1 msPassed
unionWithoutNull2 msPassed
unionWithoutNull2 msPassed
unionWithoutNull1 msPassed
unionWithoutNull1 msPassed