alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

check_strength(): also check negated properties

Browse source 
The test is in the patch introducing HOA 1.1 output.

* spot/twaalgos/strength.cc: Here.
* NEWS: Mention the bug.
This commit is contained in:
Alexandre Duret-Lutz 2016-04-20 15:18:01 +02:00
parent ae82f1a85d
commit fd33eedf4b
2 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

1
NEWS
View file

@ -4,6 +4,7 @@ New in spot 2.0a (not yet released)
* Typo in documentation of the -H option in --help output. * Typo in documentation of the -H option in --help output.
* The automaton parser would choke on comments like /******/. * The automaton parser would choke on comments like /******/.
* check_strength() should also set negated properties.
New in spot 2.0 (2016-04-11) New in spot 2.0 (2016-04-11)

11
spot/twaalgos/strength.cc
View file

@ -84,12 +84,11 @@ namespace spot
delete si; delete si;
if (set) if (set)
{ {
if (terminal && is_term && is_weak) if (terminal)
aut->prop_terminal(true); aut->prop_terminal(is_term && is_weak);
if (is_weak) aut->prop_weak(is_weak);
aut->prop_weak(true); if (inweak)
if (is_inweak) aut->prop_inherently_weak(is_inweak);
aut->prop_inherently_weak(true);
} }
if (inweak) if (inweak)
return is_inweak; return is_inweak;