search

NeuralNetworkVerification / Marabou

Other
253 stars 88 forks source link

fix constant addend in python onnx parser #769

Closed wu-haoze closed 7 months ago

wu-haoze commented 7 months ago

The bug does not exists in C++ onnx parser. Posing this fix to resolve issue #655