From 83696633800d3a7f341790f9fda4e2da8c699d43 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 12 Jun 2023 11:01:30 +0200
Subject: [PATCH] fix spurious failure of ltlcross4.test

Reported by Yuri Victorovich.

* tests/core/ltlcross4.test: Drop the 'formula' column before
computing aggregates.  It causes warnings in some Pandas versions, and
errors in others.
---
 tests/core/ltlcross4.test | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/tests/core/ltlcross4.test b/tests/core/ltlcross4.test
index b7c85979a..7d124d689 100755
--- a/tests/core/ltlcross4.test
+++ b/tests/core/ltlcross4.test
@@ -1,7 +1,7 @@
 #!/bin/sh
 # -*- coding: utf-8 -*-
-# Copyright (C) 2012-2014, 2017, 2020 Laboratoire de Recherche et
-# Développement de l'Epita (LRDE).
+# Copyright (C) 2012-2014, 2017, 2020, 2023 Laboratoire de Recherche
+# et Développement de l'Epita (LRDE).
 #
 # This file is part of Spot, a model checking library.
 #
@@ -54,8 +54,7 @@ x = pandas.read_csv("output.csv")
 # We used to call describe() instead of agg(),
 # but the output of this function was changed
 # in pandas 0.20.
-print(x.filter(('formula', 'tool',
-                'states', 'transitions')).\
+print(x.filter(('tool', 'states', 'transitions')).\
         groupby('tool').\
         agg([np.mean, np.std, np.min, np.max]))
 EOF