From 93de902fd1a007ee1b8c3261d0d1ff445908878f Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Thu, 9 Dec 2021 15:01:18 +0100
Subject: [PATCH] Fix tests after merge of ONNX parser.
---
tests/{marabout.t => marabou.t} | 2 +-
tests/simple_onnx.t | 9 ---------
2 files changed, 1 insertion(+), 10 deletions(-)
rename tests/{marabout.t => marabou.t} (95%)
diff --git a/tests/marabout.t b/tests/marabou.t
similarity index 95%
rename from tests/marabout.t
rename to tests/marabou.t
index 8cddc6c1..ecf95011 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 6a35e67c..63db9311 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
-
--
GitLab