| 156 | } |
| 157 | |
| 158 | int main() { |
| 159 | Context ctx; |
| 160 | |
| 161 | // Create a new simple array |
| 162 | create_array(ctx, array_name); |
| 163 | |
| 164 | // Print the current domain |
| 165 | print_current_domain(ctx); |
| 166 | |
| 167 | // Expand the current domain |
| 168 | expand_current_domain(ctx); |
| 169 | |
| 170 | // Print the current domain again |
| 171 | print_current_domain(ctx); |
| 172 | |
| 173 | return 0; |
| 174 | } |
nothing calls this directly
no test coverage detected