Commit 7c7f0df8 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

check_strength(): also check negated properties

The test is in the patch introducing HOA 1.1 output.

* spot/twaalgos/ Here.
* NEWS: Mention the bug.
parent f50486b4
......@@ -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)
......@@ -84,12 +84,11 @@ namespace spot
delete si;
if (set)
if (terminal && is_term && is_weak)
if (is_weak)
if (is_inweak)
if (terminal)
aut->prop_terminal(is_term && is_weak);
if (inweak)
if (inweak)
return is_inweak;
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment