ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
ndarray_shape.h
Go to the documentation of this file.
1
#pragma once
2
3
#include <vector>
4
9
void
validate_ndarray_shape
(
const
std::vector<long long> &shape);
validate_ndarray_shape
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.
Definition
ndarray_shape.cpp:6
src
python-frontend
numpy
ndarray_shape.h
Generated by
1.15.0