From e6c4eb15c13f4b8143d60af3431f570fccad661a Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 11 Oct 2017 14:35:23 +0200
Subject: [PATCH] genaut: fix ks_nca

* spot/gen/automata.cc (ks_nca): The output is complete.
* tests/core/genaut.test: Add test.
* NEWS: Mention the bug.
---
 NEWS                   | 5 ++++-
 spot/gen/automata.cc   | 2 +-
 tests/core/genaut.test | 2 ++
 3 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/NEWS b/NEWS
index 5011f24ea..71c8d0a7b 100644
--- a/NEWS
+++ b/NEWS
@@ -1,6 +1,9 @@
 New in spot 2.4.1.dev (not yet released)
 
-  Nothing yet.
+  Bugs fixed:
+
+  - Automata produced by "genaut --ks-nca=N" were incorrectly marked
+    as not complete.
 
 New in spot 2.4.1 (2017-10-05)
 
diff --git a/spot/gen/automata.cc b/spot/gen/automata.cc
index f543d4682..e634d4e8a 100644
--- a/spot/gen/automata.cc
+++ b/spot/gen/automata.cc
@@ -87,7 +87,7 @@ namespace spot
         aut->merge_edges();
         aut->prop_state_acc(true);
         aut->prop_universal(false);
-        aut->prop_complete(false);
+        aut->prop_complete(true);
         aut->prop_inherently_weak(false);
         aut->prop_stutter_invariant(false);
         aut->prop_semi_deterministic(false);
diff --git a/tests/core/genaut.test b/tests/core/genaut.test
index ec93c0b42..cddbe0c3f 100644
--- a/tests/core/genaut.test
+++ b/tests/core/genaut.test
@@ -43,6 +43,8 @@ cat >expected <<EOF
 EOF
 diff out expected
 
+genaut --ks-nca=1 | grep complete
+
 genaut --ks-nca=0 2>err && exit 1
 grep positive err
 genaut --l-nba=0 2>err && exit 1