From 2f528c71908acabcca10cc3d46c76e8aec5e0330 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 10 Nov 2021 15:28:08 +0100 Subject: [PATCH] * tests/python/streett_totgba.py: Remove superfluous comment. --- tests/python/streett_totgba.py | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/tests/python/streett_totgba.py b/tests/python/streett_totgba.py index 65c1c256e..1c0bfc13e 100644 --- a/tests/python/streett_totgba.py +++ b/tests/python/streett_totgba.py @@ -1,6 +1,6 @@ #!/usr/bin/python3 # -*- mode: python; coding: utf-8 -*- -# Copyright (C) 2017, 2018 Laboratoire de Recherche et Développement de +# Copyright (C) 2017, 2018, 2021 Laboratoire de Recherche et Développement de # l'EPITA. # # This file is part of Spot, a model checking library. @@ -47,12 +47,6 @@ def test_aut(aut): del os.environ["SPOT_STREETT_CONV_MIN"] assert sltgba.equivalent_to(slftgba) -# Those automata are generated with ltl2dstar, which is NOT part of spot, -# using the following command: -# genltl --eh-patterns --dac-patterns --hkrss-patterns --sb-patterns |\ -# ltldo "ltl2dstar --automata=streett --output-format=hoa\ -# --ltl2nba=spin:ltl2tgba@-s %L ->%O" -F- --name=%f -H" - if shutil.which('ltl2dstar') is None: sys.exit(77)