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

@@ -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)
 

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);

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