Test Result : TypeDependencyTests

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

All Tests

Test nameDurationStatus
invariants10 msPassed
invariants32 msPassed
invariants10 msPassed
invariants32 msPassed
namedInvTypeNat1 msPassed
namedInvTypeNat1 msPassed
namedInvTypeNat1 msPassed
namedInvTypeNat1 msPassed
namedInvTypeNatOpt2 msPassed
namedInvTypeNatOpt1 msPassed
namedInvTypeNatOpt1 msPassed
namedInvTypeNatOpt2 msPassed
optionalNamed2 msPassed
optionalNamed2 msPassed
optionalNamed2 msPassed
optionalNamed2 msPassed
optionalUnion2 msPassed
optionalUnion2 msPassed
optionalUnion2 msPassed
optionalUnion2 msPassed
record4 msPassed
record3 msPassed
record3 msPassed
record4 msPassed
recursive1 msPassed
recursive2 msPassed
recursive2 msPassed
recursive1 msPassed
unionOfBasicAndOptBasic2 msPassed
unionOfBasicAndOptBasic3 msPassed
unionOfBasicAndOptBasic3 msPassed
unionOfBasicAndOptBasic2 msPassed
unionOfNamedInvTypes2 msPassed
unionOfNamedInvTypes2 msPassed
unionOfNamedInvTypes2 msPassed
unionOfNamedInvTypes2 msPassed
unionWithoutNull2 msPassed
unionWithoutNull2 msPassed
unionWithoutNull2 msPassed
unionWithoutNull2 msPassed