Test Result : TypeDependencyTests

0 failures (±0)
10 tests (±0)
Took 34 ms.

All Tests

Test nameDurationStatus
invariants17 msPassed
namedInvTypeNat1 msPassed
namedInvTypeNatOpt1 msPassed
optionalNamed2 msPassed
optionalUnion2 msPassed
record3 msPassed
recursive2 msPassed
unionOfBasicAndOptBasic2 msPassed
unionOfNamedInvTypes2 msPassed
unionWithoutNull2 msPassed