Merge pull request #11 from ShantanuThakoor/APIwork

Fixed arguments supplied to MarabouNetworkTF
NeuralNetworkVerification · Apr 5, 2018 · 2d33ad6 · 2d33ad6
2 parents db38cf7 + 51f9ba5
commit 2d33ad6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/maraboupy/Marabou.py b/maraboupy/Marabou.py
@@ -25,4 +25,4 @@ def read_tf(filename, inputName=None, outputName=None):
     Returns:
         marabouNetworkTF: (MarabouNetworkTF) representing network
     """
-    return MarabouNetworkTF(filename)
+    return MarabouNetworkTF(filename, inputName, outputName)