Searched refs:test_assert (Results 1 - 19 of 19) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/test_os/src/
H A Dtest_anon_ram.c31 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 Dtest_fileserv.c34 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 Dtest_os.c69 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 Dtest_anon_ram.c31 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 Dtest_fileserv.c34 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 Dtest_os.c69 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 Dtest_user.c53 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 Dtest_user.c53 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 Dtest.c47 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 Dtest_addrspace.c35 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 Dtest_memserv.c39 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 Dtest_process.c52 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 Dtest.c47 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 Dtest_addrspace.c35 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 Dtest_memserv.c39 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 Dtest_process.c52 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 Dtest.h59 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 Dtest.h59 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 Dtest.h217 #define test_assert(e) if (!(e)) return _test_fail(#e, __FILE__, __LINE__) macro

Completed in 55 milliseconds