Function handling concat operation, performed on variables Args: op: (tf.op) concat operation :meta private:

Function to generate equations corresponding to concat Args: node (node): ONNX node representing the Concat operation :m

Function representing a constant tensor Args: node (node): ONNX node representing constant operation :meta private:

Returns true if k is a mapped key. */

Function to generate equations corresponding to 2D convolution operation Args: op: (tf.op) representing conv2D operation

Function to generate equations for a 2D convolution Args: node (node): ONNX node representing the 2D Convolution operation

Convert a string to its C representation

Deallocate memory used by a neural network Inputs: void *network: Points to network struct Output: void

Function representing dropout Args: node (node): ONNX node representing dropout operation :meta private:

Create a copy of the SmtStackEntry on the stack and returns a pointer to the copy. We do not copy the engineState for now, since where thi

Body of TestDescription::run() for test in a dynamic suite

Load network and evaluate testInputs with and without Marabou Args: filename (str): name of network file without path testInputs

Load network and evaluate testInputs with Marabou

Output: int - 1 if the forward pass was successful, -1 otherwise

/ ASSIGNMENT WRAPPER METHODS */ /

Expand all wildcards in an array (glob)

* Returns an iterator to the Key k of the map. * See hash_map::find() */

Function that recursively finds the placeholder operations that contribute to a given operation Args: op: (tf.op) representing op

Convert backslashes to slashes in file name

Change all [E]TS_ macros used in a line to _[E]TS_ macros with the correct file/line

Function to generate equations corresponding to Gemm (general matrix multiplication) Args: node (node): ONNX node representing th

Write a suite declared with CXXTEST_SUITE()