From e907f114885faf36282dc90bddfd1a99e0fe4ed3 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 3 Oct 2022 17:00:15 +0200
Subject: [PATCH] emptinesscheck: improve coverage of CVWY90 and SE05

* tests/core/randtgba.cc: Test the ar:form_stack variants.
---
 tests/core/randtgba.cc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/tests/core/randtgba.cc b/tests/core/randtgba.cc
index 7462f2c80..460bf9cd9 100644
--- a/tests/core/randtgba.cc
+++ b/tests/core/randtgba.cc
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2008-2012, 2014-2019 Laboratoire de Recherche et
+// Copyright (C) 2008-2012, 2014-2019, 2022 Laboratoire de Recherche et
 // Développement de l'Epita (LRDE).
 // Copyright (C) 2004, 2005 Laboratoire d'Informatique de Paris
 // 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
@@ -69,9 +69,11 @@ const char* default_algos[] = {
   "Cou99abs",
   "CVWY90",
   "CVWY90(bsh=4K)",
+  "CVWY90(ar:from_stack)",
   "GV04",
   "SE05",
   "SE05(bsh=4K)",
+  "SE05(ar:from_stack)",
   "Tau03",
   "Tau03_opt",
   "Tau03_opt(condstack)",