Lines Matching refs:test_assert
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(vs[i].ref == 3);
91 test_assert(vs[i].magic == REFOS_VSPACE_MAGIC);
93 test_assert(vs[i].ref == 2);
94 test_assert(vs[i].magic == REFOS_VSPACE_MAGIC);
96 test_assert(vs[i].ref == 1);
97 test_assert(vs[i].magic == REFOS_VSPACE_MAGIC);
99 test_assert(vs[i].ref == 0);
100 test_assert(vs[i].magic != REFOS_VSPACE_MAGIC);
102 test_assert(vs[i].ref == 0);
103 test_assert(vs[i].magic != REFOS_VSPACE_MAGIC);
118 test_assert(error == ESUCCESS);
119 test_assert(vs.magic == REFOS_VSPACE_MAGIC);
127 test_assert(error == ESUCCESS);
128 test_assert(windowID != W_INVALID_WINID);
133 test_assert(error == ESUCCESS);
134 test_assert(frame.cptr != 0);
139 test_assert(error == EINVALIDWINDOW);
141 test_assert(error == EINVALIDWINDOW);
143 test_assert(error == EINVALIDWINDOW);
145 test_assert(error == EINVALIDWINDOW);
150 test_assert(error == EINVALIDWINDOW);
152 test_assert(error == EINVALIDWINDOW);
154 test_assert(error == EINVALIDWINDOW);
161 test_assert(error == ESUCCESS);
164 test_assert(error == EUNMAPFIRST);
172 test_assert(error == ESUCCESS);
175 test_assert(error == ESUCCESS);
181 test_assert(vs.magic != REFOS_VSPACE_MAGIC);