|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <vector>Go to the source code of this file.
Functions | |
| void | validate_ndarray_shape (const std::vector< long long > &shape) |
| Validates a shape vector on its own, ahead of building the backing buffer (e.g. | |
| void validate_ndarray_shape | ( | const std::vector< long long > & | shape | ) |
Validates a shape vector on its own, ahead of building the backing buffer (e.g.
for np.zeros/np.ones/np.full call sites). Throws std::runtime_error with a NumPy-compatible ValueError message when a dimension is negative or the element count overflows.