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
|
succ
succ
>>>>Hello world<<<<>>>>0<<<<
17
sollya_lib_decompose_externalprocedure_with_data has worked on "succ": arity = 1, result type = integer, argument types = integer
The function pointer is okay
The data pointer is okay
The deallocation function pointer is okay
Trying out the function
>>>>Grias Eahna Good.<<<<>>>>17<<<<
The function has signaled success, the result is 43, the data counter is 18
The behavior when no name is suggested is conform to the semantic
>>>>Hello world<<<<>>>>1<<<<
17
sollya_lib_decompose_externalprocedure_with_data has worked: arity = 1, result type = integer, argument types = integer
The function pointer is okay
The data pointer is okay
The deallocation function pointer is okay
Trying out the function
>>>>Grias Eahna Good.<<<<>>>>18<<<<
The function has signaled success, the result is 43, the data counter is 19
strange_proc
strange_proc
Warning: the given expression is not a constant but an expression to evaluate. A faithful evaluation to 165 bits will be used.
>>>>Hello world<<<<>>>>2<<<<
>>>Coucou<<<>>>17<<<>>>2.7182818284590452353602874713526624977572470937<<<
true
sollya_lib_decompose_externalprocedure_with_data has worked on "strange_proc": arity = 3, result type = boolean, argument types = string integer constant
The function pointer is okay
The data pointer is okay
The deallocation function pointer is okay
Trying out the function
>>>>Grias Eahna Good.<<<<>>>>19<<<<
>>>Hello world<<<>>>42<<<>>>1664<<<
The function has signaled success, the result is false, the data counter is 20
The behavior when no name is suggested is conform to the semantic
Warning: the given expression is not a constant but an expression to evaluate. A faithful evaluation to 165 bits will be used.
>>>>Hello world<<<<>>>>3<<<<
>>>Coucou<<<>>>42<<<>>>2.7182818284590452353602874713526624977572470937<<<
false
sollya_lib_decompose_externalprocedure_with_data has worked: arity = 3, result type = boolean, argument types = string integer constant
The function pointer is okay
The data pointer is okay
The deallocation function pointer is okay
Trying out the function
>>>>Grias Eahna Good.<<<<>>>>20<<<<
>>>Hello world<<<>>>42<<<>>>1664<<<
The function has signaled success, the result is false, the data counter is 21
>>>>Hello world<<<<>>>>4<<<<
External procedure only doing a side effect
void
sollya_lib_decompose_externalprocedure_with_data has worked: arity = 0, result type = void, argument types =
The function pointer is okay
The data pointer is okay
The deallocation function pointer is okay
External procedure only doing a side effect number 2
void
sollya_lib_decompose_externalprocedure_with_data did not work (as expected) on something not constructed with sollya_lib_externalprocedure_with_data
Deallocation function called for the data pointer (Hello world<<<>>>5)
|
