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
9void validate_ndarray_shape(const std::vector<long long> &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