1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
#include <sollya.h>
int callback(sollya_msg_t msg, void *data) {
(void)data; /* Avoiding "unused parameter" warning */
int message = sollya_lib_get_msg_id(msg);
if (message == SOLLYA_MSG_EXPR_NOT_CORRECTLY_TYPED)
sollya_lib_printf("The following test produces a typing error\n");
else
sollya_lib_printf("Unexpected message\n");
return 0;
}
int main(void) {
sollya_obj_t true, false, a, b, res;
sollya_lib_init();
sollya_lib_install_msg_callback(callback, NULL);
true = sollya_lib_true();
false = sollya_lib_false();
a = sollya_lib_copy_obj(true);
b = sollya_lib_copy_obj(true);
res = sollya_lib_or(a, b);
sollya_lib_printf("%b or %b gives %b\n", a, b, res);
sollya_lib_clear_obj(a);
sollya_lib_clear_obj(b);
sollya_lib_clear_obj(res);
a = sollya_lib_copy_obj(true);
b = sollya_lib_copy_obj(false);
res = sollya_lib_or(a, b);
sollya_lib_printf("%b or %b gives %b\n", a, b, res);
sollya_lib_clear_obj(a);
sollya_lib_clear_obj(b);
sollya_lib_clear_obj(res);
a = sollya_lib_copy_obj(false);
b = sollya_lib_copy_obj(true);
res = sollya_lib_or(a, b);
sollya_lib_printf("%b or %b gives %b\n", a, b, res);
sollya_lib_clear_obj(a);
sollya_lib_clear_obj(b);
sollya_lib_clear_obj(res);
a = sollya_lib_copy_obj(false);
b = sollya_lib_copy_obj(false);
res = sollya_lib_or(a, b);
sollya_lib_printf("%b or %b gives %b\n", a, b, res);
sollya_lib_clear_obj(a);
sollya_lib_clear_obj(b);
sollya_lib_clear_obj(res);
a = SOLLYA_CONST(17);
b = sollya_lib_string("Hello");
res = sollya_lib_or(a, b);
sollya_lib_printf("%b or %b gives %b\n", a, b, res);
sollya_lib_clear_obj(a);
sollya_lib_clear_obj(b);
sollya_lib_clear_obj(res);
sollya_lib_clear_obj(true);
sollya_lib_clear_obj(false);
sollya_lib_close();
return 0;
}
|
