libsel4serialserver/src/test.c

36     int        error;
38     error = serial_server_parent_spawn_thread(&env->simple,
42     test_eq(error, 0);
50     int error;
54     error = serial_server_parent_spawn_thread(&env->simple,
58     test_eq(error, 0);
60     error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
61     test_eq(error, 0);
63     error = serial_server_client_connect(badged_server_ep_cspath.capPtr,
65     test_eq(error, 0);
74     int error;
78     error = serial_server_parent_spawn_thread(&env->simple,
82     test_eq(error, 0);
84     error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
85     test_eq(error, 0);
87     error = serial_server_client_connect(badged_server_ep_cspath.capPtr,
89     test_eq(error, 0);
91     error = serial_server_printf(&conn, test_str);
92     test_eq(error, (int)strlen(test_str));
100     int error;
104     error = serial_server_parent_spawn_thread(&env->simple,
108     test_eq(error, 0);
110     error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
111     test_eq(error, 0);
113     error = serial_server_client_connect(badged_server_ep_cspath.capPtr,
115     test_eq(error, 0);
117     error = serial_server_write(&conn, test_str, strlen(test_str));
118     test_eq(error, (int)strlen(test_str));
127     int error;
131     error = serial_server_parent_spawn_thread(&env->simple,
135     test_eq(error, 0);
137     error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
138     test_eq(error, 0);
140     error = serial_server_client_connect(badged_server_ep_cspath.capPtr,
142     test_eq(error, 0);
144     error = serial_server_printf(&conn, test_str);
145     test_eq(error, (int)strlen(test_str));
146     error = serial_server_write(&conn, test_str, strlen(test_str));
147     test_eq(error, (int)strlen(test_str));
156     error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
157     test_eq(error, 0);
159     error = serial_server_client_connect(badged_server_ep_cspath.capPtr,
161     test_eq(error, 0);
163     error = serial_server_write(&conn, test_str, strlen(test_str));
164     test_eq(error, (int)strlen(test_str));
165     error = serial_server_printf(&conn, test_str);
166     test_eq(error, (int)strlen(test_str));
179     int error;
183     error = serial_server_parent_spawn_thread(&env->simple,
186     test_eq(error, 0);
188     error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
189     test_eq(error, 0);
191     error = serial_server_client_connect(badged_server_ep_cspath.capPtr,
193     test_eq(error, 0);
196     error = serial_server_kill(&conn);
197     test_eq(error, 0);
207     int error;
210     error = serial_server_parent_spawn_thread(NULL, &env->vka,
213     test_neq(error, 0);
214     error = serial_server_parent_spawn_thread(&env->simple, NULL,
217     test_neq(error, 0);
218     error = serial_server_parent_spawn_thread(&env->simple, &env->vka,
221     test_neq(error, 0);
231     int error;
236     error = serial_server_parent_spawn_thread(&env->simple, &env->vka,
239     test_eq(error, 0);
240     error = serial_server_parent_vka_mint_endpoint(NULL, &badged_server_ep_cspath);
241     test_neq(error, 0);
242     error = serial_server_parent_vka_mint_endpoint(&env->vka, NULL);
243     test_neq(error, 0);
244     error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
245     test_eq(error, 0);
247     error = serial_server_client_connect(0,
249     test_neq(error, 0);
250     error = serial_server_client_connect(badged_server_ep_cspath.capPtr,
252     test_neq(error, 0);
253     error = serial_server_client_connect(badged_server_ep_cspath.capPtr,
255     test_neq(error, 0);
256     error = serial_server_client_connect(badged_server_ep_cspath.capPtr,
258     test_neq(error, 0);
268     int error;
273     error = serial_server_parent_spawn_thread(&env->simple, &env->vka,
276     test_eq(error, 0);
277     error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
278     test_eq(error, 0);
279     error = serial_server_client_connect(badged_server_ep_cspath.capPtr,
281     test_eq(error, 0);
283     error = serial_server_printf(NULL, test_str);
284     test_neq(error, (int)strlen(test_str));
285     error = serial_server_printf(&conn, NULL);
286     test_neq(error, (int)strlen(test_str));
296     int error;
301     error = serial_server_parent_spawn_thread(&env->simple, &env->vka,
304     test_eq(error, 0);
305     error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
306     test_eq(error, 0);
307     error = serial_server_client_connect(badged_server_ep_cspath.capPtr,
309     test_eq(error, 0);
311     error = serial_server_write(NULL, test_str, strlen(test_str));
312     test_neq(error, (int)strlen(test_str));
313     error = serial_server_write(&conn, NULL, 500);
314     test_neq(error, (int)strlen(test_str));
315     error = serial_server_write(&conn, test_str, 0);
316     test_neq(error, (int)strlen(test_str));