* Implementation of mandatory ContextObj method save: simply copies the * current data to a copy using the copy constructor. Memory is allocated

Scan single input file for test suites

Scan all input files for test suites

Scan single input line for interesting stuff

Check if current line defines a createSuite() function

Check if current line defines a destroySuite() function

Check if current line uses exception handling

Check if current line uses standard library

Check if current line starts a new test suite

Check if current line starts a test

Analyze line which is part of a suite

* Set the data in the CDO. First call makeCurrent. */

Set input files specified on command line

Function to set input operations Args: ops: (list of tf.op) list representing input operations :meta private:

Method sets the lower bound of *var* to *value*. */

Set number of threads

Set options specified on command line

Function to set output operations Args: ops: (list of tf.op) list representing output operations :meta private:

Method sets the upper bound of *var* to *value*. */

Function to generate equations corresponding to Sigmoid Args: node (node): ONNX node representing the Sigmoid operation

Function to generate equations corresponding to pointwise sign activation Args: op: (tf.op) representing Sign operation

Function to generate constraints for softmax Args: node (node): ONNX node representing the softmax operation makeEquations (b

Function to generate equations corresponding to split Args: node (node): ONNX node representing the Split operation n

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

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

Function to generate equations corresponding to subtraction Args: node (node): ONNX node representing the Sub operation

Function to generate equations corresponding to Tanh Args: node (node): ONNX node representing the Tanh operation mak

* Printing: feel free to redefine toStream(). When overridden in * a derived class, it's recommended that this method print the * type of exc

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

* @brief Processes a "unsqueeze" node in the network. * Implements https://github.com/onnx/onnx/blob/main/docs/Operators.md#Unsqueeze * * @param no

Compute the variable number ranges for each type (b, f) :meta private:

Conversion functions between variables and PhaseStatus. */

Verify current suite is legal