Test Result : TypeDependencyTests

0 failures (±0)

20 tests (±0)

All Tests

Test name	Duration	Status
invariants	19 ms	Passed
Package core / invariants	19 ms	Passed
Package core / namedInvTypeNat	1 ms	Passed
namedInvTypeNat	1 ms	Passed
Package core / namedInvTypeNatOpt	1 ms	Passed
namedInvTypeNatOpt	1 ms	Passed
Package core / optionalNamed	3 ms	Passed
optionalNamed	3 ms	Passed
optionalUnion	2 ms	Passed
Package core / optionalUnion	2 ms	Passed
record	3 ms	Passed
Package core / record	3 ms	Passed
Package core / recursive	2 ms	Passed
recursive	2 ms	Passed
Package core / unionOfBasicAndOptBasic	1 ms	Passed
unionOfBasicAndOptBasic	1 ms	Passed
Package core / unionOfNamedInvTypes	3 ms	Passed
unionOfNamedInvTypes	3 ms	Passed
unionWithoutNull	2 ms	Passed
Package core / unionWithoutNull	2 ms	Passed