![[Jenkins]](/jenkins/static/d9ee5665/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result : VDMUtilTest
0 failures
(±0)
21 tests
(±0)
All Tests
| Test name | Duration | Status |
| boolSuccess | 0 ms | Passed |
| boolUnsuccessful | 0 ms | Passed |
| charSuccess | 0 ms | Passed |
| charUnsuccessful | 0 ms | Passed |
| intSuccess | 0 ms | Passed |
| intUnsuccessful | 0 ms | Passed |
| nat1Success | 4 ms | Passed |
| nat1Unsuccessful | 0 ms | Passed |
| natSuccess | 0 ms | Passed |
| natUnsuccessful | 0 ms | Passed |
| quoteSuccess | 1 ms | Passed |
| quoteUnsuccessful | 0 ms | Passed |
| ratSuccess | 0 ms | Passed |
| ratUnsuccessful | 0 ms | Passed |
| realSuccess | 1 ms | Passed |
| realUnsuccessful | 0 ms | Passed |
| testUnsupportedType | 2 ms | Passed |
| unionOfBoolNatSuccessful | 0 ms | Passed |
| unionOfBoolNatUnsuccessful | 2 ms | Passed |
| unionOfQuotesSuccessful | 2 ms | Passed |
| unionOfQuotesUnsuccessful | 0 ms | Passed |