diff --git a/tests/marabout.t b/tests/marabou.t
similarity index 95%
rename from tests/marabout.t
rename to tests/marabou.t
index 8cddc6c1a54399c1e564a06d4f2be55cc0a52f01..ecf95011ae0056c1f499312d692b8a4c4bd527eb 100644
--- a/tests/marabout.t
+++ b/tests/marabou.t
@@ -30,7 +30,7 @@ Test verify
   > 
   >   goal H: forall x1 x2 x3 x4 x5.
   >      (0.0:t) .< x1 .< (0.5:t) /\ (0.5:t) .< x2 .< (1.0:t) ->
-  >      let (y1,y2,_,_,_) = nnet_apply x1 x2 x3 x4 x5 in
+  >      let (y1,y2,_,_,_) = net_apply x1 x2 x3 x4 x5 in
   >      ((0.0:t) .< y1 \/ (0.5:t) .< y1) /\ (0.0:t) .< y2 .< (0.5:t)
   > end
   > EOF
diff --git a/tests/simple_onnx.t b/tests/simple_onnx.t
index 6a35e67c6761bd7281ea2d0c7c635b47f6417fbd..63db9311c7133b5989d33d4217986929dbb05e27 100644
--- a/tests/simple_onnx.t
+++ b/tests/simple_onnx.t
@@ -40,12 +40,3 @@ Test verify
   <autodetect>3 prover(s) added
   Goal G: Unknown
   ()
-  Output:
-  NN: ./TestNetworkONNX.onnx
-  Goal:
-  0.0 <  x0
-  x0 <  0.5
-  0.0 <  y0
-  y0 <  0.5
-  Result = Unknown
-