Two fixes addressing issue 723#743

progirep wants to merge 1 commit intoNeuralNetworkVerification:masterNeuralNetworkVerification/Marabou:masterfrom

progirep:torch_onnx_export_compatibility_fixprogirep/Marabou-CITest:torch_onnx_export_compatibility_fixCopy head branch name to clipboard