From 82388f43898e37ffa9350fe39a2e08a4ed42eb53 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Wed, 2 Aug 2023 17:02:47 +0200
Subject: [PATCH] tresor_tester.run: fix free tree exhaustion

The order of execution inside the Tresor lib slightly changed compared to the
previous CBE lib. AFAICT, this is nothing to worry about and related to the
now cleaner structuring. However, it can produce higher peak requirements
regarding the allocation pool in the Free Tree. Therefor, this commit extends
the dimensions of the Free Tree used in the test.

Ref #4971
---
 repos/gems/run/tresor_tester.run | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/repos/gems/run/tresor_tester.run b/repos/gems/run/tresor_tester.run
index 08c3978e1d..8b398626f8 100644
--- a/repos/gems/run/tresor_tester.run
+++ b/repos/gems/run/tresor_tester.run
@@ -258,9 +258,9 @@ append config {
 							nr_of_leafs="64" />
 
 						<free-tree
-							nr_of_levels="3"
+							nr_of_levels="4"
 							nr_of_children="8"
-							nr_of_leafs="64" />
+							nr_of_leafs="100" />
 
 					</initialize>
 					<check/>
@@ -349,8 +349,10 @@ append config {
 					<request op="read"  vba="22" count="3"   sync="yes" salt="9612"/>
 					<request op="read"  vba="15" count="2"   sync="yes" salt="6111"/>
 					<request op="write" vba="11" count="6"   sync="yes" salt="5436"/>
+					<list-snapshots/>
 					<request op="discard_snapshot"           sync="yes" id="1"/>
 					<request op="discard_snapshot"           sync="yes" id="2"/>
+					<list-snapshots/>
 					<request op="discard_snapshot"           sync="yes" id="3"/>
 					<request op="sync"  vba="0"  count="256" sync="yes"/>
 					<check/>
@@ -390,6 +392,7 @@ append config {
 					<request op="read"  vba="12" count="3"   sync="no" salt="4455"/>
 					<request op="read"  vba="19" count="3"   sync="no" salt="1931"/>
 					<request op="read"  vba="10" count="2"   sync="no" salt="3758"/>
+					<list-snapshots/>
 					<request op="sync"  vba="0"  count="256" sync="yes"/>
 					<check/>