From 12389adf4f1b94658d55800a8cb122135ca929ab Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 25 Nov 2014 11:52:42 +0100
Subject: [PATCH] hoa: check parsing from stdin

* src/tgbatest/hoaparse.test: More test.
---
 src/tgbatest/hoaparse.test | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/tgbatest/hoaparse.test b/src/tgbatest/hoaparse.test
index 3462d9dab..10a1f2ecc 100755
--- a/src/tgbatest/hoaparse.test
+++ b/src/tgbatest/hoaparse.test
@@ -728,3 +728,8 @@ EOF
 expecterr non-existant<<EOF
 autfilt: Cannot open file non-existant
 EOF
+
+# Make sure we can read multiple automata from stdin
+../../bin/ltl2tgba 'a U b' 'GFa' --hoa | grep -v '^name:' > input
+../../bin/autfilt --hoa < input | ../../bin/autfilt --hoa > output
+diff input output