Test Result : VdmSymbolTableTest

0 failures (±0)
67 tests (±0)
Took 4 ms.

All Tests

Test nameDurationStatus
testGetABSOLUTE0 msPassed
testGetAND0 msPassed
testGetCARD0 msPassed
testGetCHARDELIM0 msPassed
testGetCLOSEQUOTE0 msPassed
testGetCOMPOSITION0 msPassed
testGetCONCATENATE0 msPassed
testGetDEF0 msPassed
testGetDINTER0 msPassed
testGetDISTCONC0 msPassed
testGetDIV0 msPassed
testGetDIVIDE0 msPassed
testGetDOM0 msPassed
testGetDOMRESBY0 msPassed
testGetDOMRESTO0 msPassed
testGetDUNION0 msPassed
testGetELEMS0 msPassed
testGetEQUALS0 msPassed
testGetEQUIV0 msPassed
testGetEXISTS0 msPassed
testGetEXISTS10 msPassed
testGetFLOOR0 msPassed
testGetFORALL0 msPassed
testGetGE1 msPassed
testGetGT0 msPassed
testGetHEAD0 msPassed
testGetIMPLIES0 msPassed
testGetINDS0 msPassed
testGetINSET0 msPassed
testGetINTER0 msPassed
testGetINVERSE0 msPassed
testGetIOTA0 msPassed
testGetInstance_2Calls0 msPassed
testGetInstance_SingleCall0 msPassed
testGetLAMBDA0 msPassed
testGetLE0 msPassed
testGetLEN0 msPassed
testGetLT0 msPassed
testGetMAPLET0 msPassed
testGetMERGE0 msPassed
testGetMINUS0 msPassed
testGetMOD0 msPassed
testGetMUNION0 msPassed
testGetNE0 msPassed
testGetNOTINSET0 msPassed
testGetOPENQUOTE0 msPassed
testGetOR0 msPassed
testGetPLUS0 msPassed
testGetPLUSPLUS0 msPassed
testGetPOINT0 msPassed
testGetPOWER0 msPassed
testGetPRED0 msPassed
testGetPSUBSET0 msPassed
testGetRANGE0 msPassed
testGetRANGERESBY0 msPassed
testGetRANGERESTO0 msPassed
testGetREM0 msPassed
testGetRNG1 msPassed
testGetSEP0 msPassed
testGetSETDIFF1 msPassed
testGetSTARSTAR0 msPassed
testGetSTRINGDELIM0 msPassed
testGetSUBSET0 msPassed
testGetTAIL0 msPassed
testGetTIMES1 msPassed
testGetUNION0 msPassed
testVdmNsTable_Constructor_NoParams0 msPassed