diff --git a/NEWS b/NEWS index a51d8561eb6dc700c5574bf3515eaeda7ba727cd..0c48e5f8e116514bb3d8365a199545fc0a7a4db8 100644 --- a/NEWS +++ b/NEWS @@ -11,6 +11,9 @@ New in spot 2.3.1.dev (not yet released) - The tests using LTSmin's patched version of divine would fail if the current (non-patched) version of divine was installed. + - Because of a typo, the output of --stats='...%P...' was correct + only if %p was used as well. + New in spot 2.3.1 (2017-02-20) Tools: diff --git a/bin/common_aoutput.cc b/bin/common_aoutput.cc index e8011b30fe9ee227d61a05f0315edad31e1a5010..c1805f3c7dda7eae559ff568623d1c6f58c3d057 100644 --- a/bin/common_aoutput.cc +++ b/bin/common_aoutput.cc @@ -453,7 +453,7 @@ hoa_stat_printer::print(const spot::const_parsed_aut_ptr& haut, haut_deterministic_ = is_deterministic(haut->aut); } - if (has('p')) + if (has('P')) haut_complete_ = is_complete(haut->aut); if (has('G')) diff --git a/tests/core/format.test b/tests/core/format.test index 67a7ce0b35d70b51d86d5afbd83fd0bb3a7dbb9b..a91026130695c1482c0114bef1203e144a3d2ade 100644 --- a/tests/core/format.test +++ b/tests/core/format.test @@ -1,6 +1,6 @@ #!/bin/sh # -*- coding: utf-8 -*- -# Copyright (C) 2016 Laboratoire de Recherche et Développement de +# Copyright (C) 2016, 2017 Laboratoire de Recherche et Développement de # l'Epita (LRDE). # # This file is part of Spot, a model checking library. @@ -51,11 +51,19 @@ for i in 1 2 3 4 5 6; do cmp ap-$i.ltl ap-$i.ltl2 || exit 1 done -out=`ltl2tgba -f 'GFa' | autfilt --stats='%W,%w' --complement` +ltl2tgba GFa > GFa +out=` FGa +test "0,1,0,1" = "`