diff --git a/tests/core/ltlcross4.test b/tests/core/ltlcross4.test index 7d124d689..f171876a9 100755 --- a/tests/core/ltlcross4.test +++ b/tests/core/ltlcross4.test @@ -65,12 +65,14 @@ $PYTHON test.py >out.1 # remove trailing whitespace from pandas' output, and limit to 6 # lines, because Pandas 0.13 adds the size of the dataframe # afterwards. Alse the spacing between columns differs from version -# to version. -sed 's/[ \t]*$//g;6q' py.out +# to version. The name of the output columns changed from "amin amax" +# to "min max" in some Pandas version (maybe around 2.0). +sed 's/[ \t]*$//g;s/amin/min/g;s/amax/max/g;6q' py.out cat >expected <