Test Result : VDMUtilTest

0 failures (±0)
21 tests (±0)
Took 15 ms.

All Tests

Test nameDurationStatus
boolSuccess0 msPassed
boolUnsuccessful0 msPassed
charSuccess0 msPassed
charUnsuccessful0 msPassed
intSuccess0 msPassed
intUnsuccessful0 msPassed
nat1Success4 msPassed
nat1Unsuccessful0 msPassed
natSuccess0 msPassed
natUnsuccessful0 msPassed
quoteSuccess1 msPassed
quoteUnsuccessful0 msPassed
ratSuccess0 msPassed
ratUnsuccessful0 msPassed
realSuccess1 msPassed
realUnsuccessful1 msPassed
testUnsupportedType2 msPassed
unionOfBoolNatSuccessful1 msPassed
unionOfBoolNatUnsuccessful1 msPassed
unionOfQuotesSuccessful4 msPassed
unionOfQuotesUnsuccessful0 msPassed