From 188fee4756ace011aa921b988a8096b2304b263a Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 3 Oct 2021 18:37:55 +0200
Subject: [PATCH] * tests/core/ltlsynt.test: Test --aiger without option.

---
 tests/core/ltlsynt.test | 20 ++------------------
 1 file changed, 2 insertions(+), 18 deletions(-)

diff --git a/tests/core/ltlsynt.test b/tests/core/ltlsynt.test
index 9a8582d84..550080523 100644
--- a/tests/core/ltlsynt.test
+++ b/tests/core/ltlsynt.test
@@ -137,28 +137,12 @@ o0 b
 EOF
 ltlsynt --ins=a --outs=b -f 'GFa <-> GFb' --aiger=isop,isop+dc,isop+ud >out
 diff out exp
-
-cat >exp <<EOF
-REALIZABLE
-aag 1 1 0 1 0
-2
-2
-i0 a
-o0 b
-EOF
 ltlsynt --ins=a --outs=b -f 'GFa <-> GFb' --aiger=ite >out
 diff out exp
-
-cat >exp <<EOF
-REALIZABLE
-aag 1 1 0 1 0
-2
-2
-i0 a
-o0 b
-EOF
 ltlsynt --ins=a --outs=b -f 'GFa <-> GFb' --aiger=ite+ud+dc >out
 diff out exp
+ltlsynt --ins=a --outs=b -f 'GFa <-> GFb' --aiger >out
+diff out exp
 
 cat >exp <<EOF
 REALIZABLE