Test Result : VdmSymbolTableTest

0 failures (±0)
134 tests (±0)
Took 22 ms.

All Tests

Test nameDurationStatus
Package core / testGetABSOLUTE0 msPassed
testGetABSOLUTE0 msPassed
Package core / testGetAND0 msPassed
testGetAND0 msPassed
testGetCARD0 msPassed
Package core / testGetCARD0 msPassed
testGetCHARDELIM1 msPassed
Package core / testGetCHARDELIM1 msPassed
testGetCLOSEQUOTE1 msPassed
Package core / testGetCLOSEQUOTE1 msPassed
Package core / testGetCOMPOSITION1 msPassed
testGetCOMPOSITION1 msPassed
Package core / testGetCONCATENATE0 msPassed
testGetCONCATENATE0 msPassed
Package core / testGetDEF0 msPassed
testGetDEF0 msPassed
Package core / testGetDINTER0 msPassed
testGetDINTER0 msPassed
Package core / testGetDISTCONC0 msPassed
testGetDISTCONC0 msPassed
testGetDIV0 msPassed
Package core / testGetDIV0 msPassed
testGetDIVIDE0 msPassed
Package core / testGetDIVIDE0 msPassed
testGetDOM0 msPassed
Package core / testGetDOM0 msPassed
testGetDOMRESBY0 msPassed
Package core / testGetDOMRESBY0 msPassed
Package core / testGetDOMRESTO0 msPassed
testGetDOMRESTO0 msPassed
Package core / testGetDUNION0 msPassed
testGetDUNION0 msPassed
Package core / testGetELEMS0 msPassed
testGetELEMS0 msPassed
Package core / testGetEQUALS1 msPassed
testGetEQUALS1 msPassed
testGetEQUIV0 msPassed
Package core / testGetEQUIV0 msPassed
Package core / testGetEXISTS0 msPassed
testGetEXISTS0 msPassed
testGetEXISTS10 msPassed
Package core / testGetEXISTS10 msPassed
Package core / testGetFLOOR1 msPassed
testGetFLOOR1 msPassed
testGetFORALL0 msPassed
Package core / testGetFORALL0 msPassed
Package core / testGetGE0 msPassed
testGetGE0 msPassed
testGetGT1 msPassed
Package core / testGetGT1 msPassed
Package core / testGetHEAD0 msPassed
testGetHEAD0 msPassed
Package core / testGetIMPLIES0 msPassed
testGetIMPLIES0 msPassed
Package core / testGetINDS0 msPassed
testGetINDS0 msPassed
Package core / testGetINSET0 msPassed
testGetINSET0 msPassed
Package core / testGetINTER0 msPassed
testGetINTER0 msPassed
testGetINVERSE0 msPassed
Package core / testGetINVERSE0 msPassed
Package core / testGetIOTA0 msPassed
testGetIOTA0 msPassed
Package core / testGetInstance_2Calls0 msPassed
testGetInstance_2Calls0 msPassed
Package core / testGetInstance_SingleCall0 msPassed
testGetInstance_SingleCall0 msPassed
testGetLAMBDA1 msPassed
Package core / testGetLAMBDA1 msPassed
Package core / testGetLE0 msPassed
testGetLE0 msPassed
testGetLEN0 msPassed
Package core / testGetLEN0 msPassed
Package core / testGetLT0 msPassed
testGetLT0 msPassed
testGetMAPLET0 msPassed
Package core / testGetMAPLET0 msPassed
testGetMERGE0 msPassed
Package core / testGetMERGE0 msPassed
testGetMINUS0 msPassed
Package core / testGetMINUS0 msPassed
testGetMOD0 msPassed
Package core / testGetMOD0 msPassed
testGetMUNION0 msPassed
Package core / testGetMUNION0 msPassed
Package core / testGetNE0 msPassed
testGetNE0 msPassed
testGetNOTINSET0 msPassed
Package core / testGetNOTINSET0 msPassed
testGetOPENQUOTE0 msPassed
Package core / testGetOPENQUOTE0 msPassed
testGetOR0 msPassed
Package core / testGetOR0 msPassed
testGetPLUS1 msPassed
Package core / testGetPLUS1 msPassed
testGetPLUSPLUS0 msPassed
Package core / testGetPLUSPLUS0 msPassed
testGetPOINT0 msPassed
Package core / testGetPOINT0 msPassed
Package core / testGetPOWER0 msPassed
testGetPOWER0 msPassed
Package core / testGetPRED0 msPassed
testGetPRED0 msPassed
testGetPSUBSET0 msPassed
Package core / testGetPSUBSET0 msPassed
Package core / testGetRANGE1 msPassed
testGetRANGE1 msPassed
Package core / testGetRANGERESBY0 msPassed
testGetRANGERESBY0 msPassed
Package core / testGetRANGERESTO0 msPassed
testGetRANGERESTO0 msPassed
Package core / testGetREM0 msPassed
testGetREM0 msPassed
Package core / testGetRNG0 msPassed
testGetRNG0 msPassed
testGetSEP0 msPassed
Package core / testGetSEP0 msPassed
Package core / testGetSETDIFF1 msPassed
testGetSETDIFF1 msPassed
testGetSTARSTAR0 msPassed
Package core / testGetSTARSTAR0 msPassed
testGetSTRINGDELIM0 msPassed
Package core / testGetSTRINGDELIM0 msPassed
Package core / testGetSUBSET0 msPassed
testGetSUBSET0 msPassed
testGetTAIL0 msPassed
Package core / testGetTAIL0 msPassed
Package core / testGetTIMES1 msPassed
testGetTIMES1 msPassed
testGetUNION0 msPassed
Package core / testGetUNION0 msPassed
Package core / testVdmNsTable_Constructor_NoParams0 msPassed
testVdmNsTable_Constructor_NoParams0 msPassed