From fa2ad7707890d9468ad9a6a3a0c5e0a7109739cc Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 25 Nov 2014 11:44:58 +0100
Subject: [PATCH] hoa: test DOS-style input

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

diff --git a/src/tgbatest/hoaparse.test b/src/tgbatest/hoaparse.test
index b9c8b80c2..3462d9dab 100755
--- a/src/tgbatest/hoaparse.test
+++ b/src/tgbatest/hoaparse.test
@@ -429,6 +429,13 @@ input:7.15-23: aborted input automaton
 input:8.1-16.12: aborted input automaton
 EOF
 
+# DOS-style new lines should have the same output.
+sed 's/$/\r/g' input > input.dos
+mv input.dos input
+../../bin/autfilt --hoa input 2>stderr && exit 1
+cat stderr
+diff stderr input.exp
+
 cat >expected <<EOF
 HOA: v1
 States: 2