From 142f1afab2716b774f412964765841cd7ba5784c Mon Sep 17 00:00:00 2001
From: Florian Renkin <frenkin@lrde.epita.fr>
Date: Fri, 17 Apr 2020 13:38:46 +0200
Subject: [PATCH] unit_propagation: Add a test with multiple unit clauses

* tests/core/acc.cc, tests/core/acc.test: here.
---
 tests/core/acc.cc   | 4 ++++
 tests/core/acc.test | 1 +
 2 files changed, 5 insertions(+)

diff --git a/tests/core/acc.cc b/tests/core/acc.cc
index 74c32fa49..608e8c40f 100644
--- a/tests/core/acc.cc
+++ b/tests/core/acc.cc
@@ -237,5 +237,9 @@ int main()
       expect(e, "Too many acceptance sets used.");
     }
 
+  auto cond1 =  spot::acc_cond::acc_code(
+    "(Inf(0) & Inf(5)) | Inf(5) | Inf(0)");
+  std::cout << cond1.unit_propagation() << '\n';
+
   return 0;
 }
diff --git a/tests/core/acc.test b/tests/core/acc.test
index ad7f80578..af1d0ac0a 100755
--- a/tests/core/acc.test
+++ b/tests/core/acc.test
@@ -85,6 +85,7 @@ Fin(2) | Inf(2)
 Inf(2) & Fin(2)
 (Fin(0)|Fin(3)) | (Inf(1) & Fin(2))
 (Fin(0)|Fin(3)) | (Inf(1) & Fin(2))
+Inf(5) | Inf(0)
 EOF
 
 run 0 ../acc > stdout