| 370 | } |
| 371 | |
| 372 | void static_features::check_array(sort* s) { |
| 373 | if (m_arrayutil.is_array(s)) { |
| 374 | m_has_arrays = true; |
| 375 | update_core(get_array_range(s)); |
| 376 | for (unsigned i = get_array_arity(s); i-- > 0; ) |
| 377 | update_core(get_array_domain(s, i)); |
| 378 | } |
| 379 | } |
| 380 | |
| 381 | |
| 382 | void static_features::update_core(sort * s) { |
nothing calls this directly
no test coverage detected