Searched refs:test_assert (Results 1 - 19 of 19) sorted by relevance
/seL4-refos-master/projects/refos/impl/apps/test_os/src/ |
H A D | test_anon_ram.c | 31 test_assert(anon.err == ESUCCESS); 32 test_assert(anon.size == 0x2000); 33 test_assert(anon.sizeNPages == (0x2000 / REFOS_PAGE_SIZE)); 34 test_assert(anon.session == REFOS_PROCSERV_EP); 35 test_assert(anon.dataspace != 0); 36 test_assert(anon.window != 0); 37 test_assert(anon.vaddr != NULL); 43 test_assert(cmp == 0); 47 test_assert(error == ESUCCESS); 48 test_assert(data_get_siz [all...] |
H A D | test_fileserv.c | 34 test_assert(mp.success == true); 35 test_assert(mp.serverAnon != 0); 43 test_assert(error == ESUCCESS); 50 test_assert(fileservSession && error == ESUCCESS); 61 test_assert(mp.success == false); 62 test_assert(mp.serverAnon == 0); 76 test_assert(mp.success == true); 77 test_assert(mp.serverAnon != 0); 81 test_assert(fileservSession && error == ESUCCESS); 86 test_assert(tempWindowVadd [all...] |
H A D | test_os.c | 69 test_assert(bssVar == BSS_MAGIC); 70 test_assert(bssVar2 == 0); 72 test_assert(bssArray[i] == 0); 75 test_assert(bssVar == BSS_MAGIC); 76 test_assert(bssVar2 == 0); 78 test_assert(bssArray[i] == (char)((i*7)%250)); 93 test_assert( stackArray[i] == (char)(i * 1234)); 105 test_assert(heapArray); 110 test_assert(heapArray[i] == (i%2)?'z':'a'); 116 test_assert(heapArray [all...] |
/seL4-refos-master/apps/test_os/src/ |
H A D | test_anon_ram.c | 31 test_assert(anon.err == ESUCCESS); 32 test_assert(anon.size == 0x2000); 33 test_assert(anon.sizeNPages == (0x2000 / REFOS_PAGE_SIZE)); 34 test_assert(anon.session == REFOS_PROCSERV_EP); 35 test_assert(anon.dataspace != 0); 36 test_assert(anon.window != 0); 37 test_assert(anon.vaddr != NULL); 43 test_assert(cmp == 0); 47 test_assert(error == ESUCCESS); 48 test_assert(data_get_siz [all...] |
H A D | test_fileserv.c | 34 test_assert(mp.success == true); 35 test_assert(mp.serverAnon != 0); 43 test_assert(error == ESUCCESS); 50 test_assert(fileservSession && error == ESUCCESS); 61 test_assert(mp.success == false); 62 test_assert(mp.serverAnon == 0); 76 test_assert(mp.success == true); 77 test_assert(mp.serverAnon != 0); 81 test_assert(fileservSession && error == ESUCCESS); 86 test_assert(tempWindowVadd [all...] |
H A D | test_os.c | 69 test_assert(bssVar == BSS_MAGIC); 70 test_assert(bssVar2 == 0); 72 test_assert(bssArray[i] == 0); 75 test_assert(bssVar == BSS_MAGIC); 76 test_assert(bssVar2 == 0); 78 test_assert(bssArray[i] == (char)((i*7)%250)); 93 test_assert( stackArray[i] == (char)(i * 1234)); 105 test_assert(heapArray); 110 test_assert(heapArray[i] == (i%2)?'z':'a'); 116 test_assert(heapArray [all...] |
/seL4-refos-master/projects/refos/impl/apps/test_user/src/ |
H A D | test_user.c | 53 test_assert(bssVar == BSS_MAGIC); 54 test_assert(bssVar2 == 0); 56 test_assert(bssArray[i] == 0); 59 test_assert(bssVar == BSS_MAGIC); 60 test_assert(bssVar2 == 0); 62 test_assert(bssArray[i] == (char)((i*7)%250)); 77 test_assert( stackArray[i] == (char)(i * 1234)); 89 test_assert(heapArray); 94 test_assert(heapArray[i] == (i%2)?'z':'a'); 100 test_assert(heapArray [all...] |
/seL4-refos-master/apps/test_user/src/ |
H A D | test_user.c | 53 test_assert(bssVar == BSS_MAGIC); 54 test_assert(bssVar2 == 0); 56 test_assert(bssArray[i] == 0); 59 test_assert(bssVar == BSS_MAGIC); 60 test_assert(bssVar2 == 0); 62 test_assert(bssArray[i] == (char)((i*7)%250)); 77 test_assert( stackArray[i] == (char)(i * 1234)); 89 test_assert(heapArray); 94 test_assert(heapArray[i] == (i%2)?'z':'a'); 100 test_assert(heapArray [all...] |
/seL4-refos-master/projects/refos/impl/apps/process_server/src/test/ |
H A D | test.c | 47 for (int i = 0; i < 10240; i++) test_assert(a[i] == i); 58 test_assert(!error); 59 test_assert(obj[i].cptr != 0); 66 test_assert(!error); 67 test_assert(obj[i].cptr != 0); 89 test_assert(cvector_count(&v) == (int)5); 90 test_assert(cvector_get(&v, 0) == (cvector_item_t)1); 91 test_assert(cvector_get(&v, 1) == (cvector_item_t)2); 92 test_assert(cvector_get(&v, 2) == (cvector_item_t)3); 93 test_assert(cvector_ge [all...] |
H A D | test_addrspace.c | 35 test_assert(p[i] != 0); 42 test_assert(p[i] != 0); 66 test_assert(error == ESUCCESS); 67 test_assert(vs[i].magic == REFOS_VSPACE_MAGIC); 68 test_assert(vs[i].ref == 1); 69 test_assert(vs[i].pid == bogusPID); 70 test_assert(vs[i].kpd != 0); 71 test_assert(vs[i].cspace.capPtr != 0); 72 test_assert(vs[i].cspaceSize == REFOS_CSPACE_RADIX); 90 test_assert(v [all...] |
H A D | test_memserv.c | 39 test_assert(w); 40 test_assert(w->wID == i); 41 test_assert(w->magic == W_MAGIC); 42 test_assert(w->size == 1024); 43 test_assert(w->clientOwnerPID == -1); 44 test_assert(w->mode == W_MODE_EMPTY); 46 test_assert(w_ && w_->wID == i); 47 test_assert(w_ == w); 53 test_assert(err == ESUCCESS); 60 test_assert(w [all...] |
H A D | test_process.c | 52 test_assert(testPID != PID_NULL); 56 test_assert(pidTable[j] != testPID); 72 test_assert(count == expectedCount); 78 test_assert(pcb == NULL); 80 test_assert(pcb != NULL); 87 test_assert(testPID != PID_NULL); 94 test_assert(pidTable[j] != testPID); 103 test_assert(pcb != NULL); 126 test_assert(error == ESUCCESS); 127 test_assert(v [all...] |
/seL4-refos-master/apps/process_server/src/test/ |
H A D | test.c | 47 for (int i = 0; i < 10240; i++) test_assert(a[i] == i); 58 test_assert(!error); 59 test_assert(obj[i].cptr != 0); 66 test_assert(!error); 67 test_assert(obj[i].cptr != 0); 89 test_assert(cvector_count(&v) == (int)5); 90 test_assert(cvector_get(&v, 0) == (cvector_item_t)1); 91 test_assert(cvector_get(&v, 1) == (cvector_item_t)2); 92 test_assert(cvector_get(&v, 2) == (cvector_item_t)3); 93 test_assert(cvector_ge [all...] |
H A D | test_addrspace.c | 35 test_assert(p[i] != 0); 42 test_assert(p[i] != 0); 66 test_assert(error == ESUCCESS); 67 test_assert(vs[i].magic == REFOS_VSPACE_MAGIC); 68 test_assert(vs[i].ref == 1); 69 test_assert(vs[i].pid == bogusPID); 70 test_assert(vs[i].kpd != 0); 71 test_assert(vs[i].cspace.capPtr != 0); 72 test_assert(vs[i].cspaceSize == REFOS_CSPACE_RADIX); 90 test_assert(v [all...] |
H A D | test_memserv.c | 39 test_assert(w); 40 test_assert(w->wID == i); 41 test_assert(w->magic == W_MAGIC); 42 test_assert(w->size == 1024); 43 test_assert(w->clientOwnerPID == -1); 44 test_assert(w->mode == W_MODE_EMPTY); 46 test_assert(w_ && w_->wID == i); 47 test_assert(w_ == w); 53 test_assert(err == ESUCCESS); 60 test_assert(w [all...] |
H A D | test_process.c | 52 test_assert(testPID != PID_NULL); 56 test_assert(pidTable[j] != testPID); 72 test_assert(count == expectedCount); 78 test_assert(pcb == NULL); 80 test_assert(pcb != NULL); 87 test_assert(testPID != PID_NULL); 94 test_assert(pidTable[j] != testPID); 103 test_assert(pcb != NULL); 126 test_assert(error == ESUCCESS); 127 test_assert(v [all...] |
/seL4-refos-master/libs/librefos/include/refos/ |
H A D | test.h | 59 This function is used to implement the test_assert macro. Must be called after test_start() and 60 before test_success(). Please use the test_assert() macro instead of directly calling this 81 #define test_assert assert macro 83 #define test_assert(e) if (!(e)) return test_fail(#e, __FILE__, __func__, __LINE__) macro
|
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos/ |
H A D | test.h | 59 This function is used to implement the test_assert macro. Must be called after test_start() and 60 before test_success(). Please use the test_assert() macro instead of directly calling this 81 #define test_assert assert macro 83 #define test_assert(e) if (!(e)) return test_fail(#e, __FILE__, __func__, __LINE__) macro
|
/seL4-refos-master/projects/seL4_libs/libsel4test/include/sel4test/ |
H A D | test.h | 217 #define test_assert(e) if (!(e)) return _test_fail(#e, __FILE__, __LINE__) macro
|
Completed in 108 milliseconds