diff --git a/tests/core/ltlcross4.test b/tests/core/ltlcross4.test index 2f0c5f5ca..e710fcfee 100755 --- a/tests/core/ltlcross4.test +++ b/tests/core/ltlcross4.test @@ -1,6 +1,6 @@ #!/bin/sh # -*- coding: utf-8 -*- -# Copyright (C) 2012, 2013, 2014 Laboratoire de Recherche et +# Copyright (C) 2012-2014, 2017 Laboratoire de Recherche et # Développement de l'Epita (LRDE). # # This file is part of Spot, a model checking library. @@ -40,49 +40,35 @@ cat >test.py <out.1 # remove trailing whitespace from pandas' output, -# and limit to 26 lines, because Pandas 0.13 adds +# and limit to 6 lines, because Pandas 0.13 adds # the size of the dataframe afterwards. -sed 's/[ \t]*$//g;26q' py.out +sed 's/[ \t]*$//g;6q' py.out cat >expected <