Révision 137 pobysoC-4.0/src/test-pobyso-constant-expression.c
test-pobyso-constant-expression.c (revision 137) | ||
---|---|---|
85 | 85 |
func_exp = pobyso_parse_string("1/2"); |
86 | 86 |
if (pobyso_is_constant_expression(func_exp)) |
87 | 87 |
{ |
88 |
pobyso_set_verbosity_off(); |
|
88 | 89 |
pobyso_autoprint(func_exp); |
89 | 90 |
fprintf(stdout, "OK for \"1/2\".\n"); |
90 | 91 |
sollya_lib_clear_obj(func_exp); |
... | ... | |
127 | 128 |
if (! pobyso_is_constant_expression(func_exp)) |
128 | 129 |
{ |
129 | 130 |
pobyso_autoprint(func_exp); |
130 |
fprintf(stdout, "Non constant expression \"cos(x)\": OK\n");
|
|
131 |
fprintf(stdout, "OK for non constant expression \"cos(x)\".\n");
|
|
131 | 132 |
sollya_lib_clear_obj(func_exp); |
132 | 133 |
} |
133 | 134 |
else |
... | ... | |
139 | 140 |
verbosity = pobyso_set_verbosity_off(); |
140 | 141 |
func_exp = pobyso_parse_string("cos(pi)"); |
141 | 142 |
pobyso_set_verbosity_to(verbosity); |
143 |
if (pobyso_is_constant_expression(func_exp)) |
|
142 | 144 |
{ |
145 |
pobyso_set_verbosity_off(); |
|
143 | 146 |
pobyso_autoprint(func_exp); |
144 | 147 |
fprintf(stdout, "OK for \"cos(pi)\".\n"); |
145 | 148 |
sollya_lib_clear_obj(func_exp); |
146 | 149 |
} |
150 |
else |
|
151 |
{ |
|
152 |
fprintf(stdout, "Error for \"cos(pi)\".\n"); |
|
153 |
return 1; |
|
154 |
} |
|
147 | 155 |
/* */ |
148 | 156 |
|
149 | 157 |
sollya_lib_close(); |
Formats disponibles : Unified diff