From 7c7f0df8a847859a76daf2fee48b4a2635178b82 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 20 Apr 2016 15:18:01 +0200
Subject: [PATCH] check_strength(): also check negated properties

The test is in the patch introducing HOA 1.1 output.

* spot/twaalgos/strength.cc: Here.
* NEWS: Mention the bug.
---
 NEWS                      |  1 +
 spot/twaalgos/strength.cc | 11 +++++------
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/NEWS b/NEWS
index c8f1ae425..657901a2d 100644
--- a/NEWS
+++ b/NEWS
@@ -4,6 +4,7 @@ New in spot 2.0.0a (not yet released)
 
   * Typo in documentation of the -H option in --help output.
   * The automaton parser would choke on comments like /******/.
+  * check_strength() should also set negated properties.
 
 New in spot 2.0 (2016-04-11)
 
diff --git a/spot/twaalgos/strength.cc b/spot/twaalgos/strength.cc
index 500addeb5..09c29b115 100644
--- a/spot/twaalgos/strength.cc
+++ b/spot/twaalgos/strength.cc
@@ -84,12 +84,11 @@ namespace spot
         delete si;
       if (set)
         {
-          if (terminal && is_term && is_weak)
-            aut->prop_terminal(true);
-          if (is_weak)
-            aut->prop_weak(true);
-          if (is_inweak)
-            aut->prop_inherently_weak(true);
+          if (terminal)
+            aut->prop_terminal(is_term && is_weak);
+          aut->prop_weak(is_weak);
+          if (inweak)
+            aut->prop_inherently_weak(is_inweak);
         }
       if (inweak)
         return is_inweak;