From eee778ff1bcbfa714eb8178a8fd21784331bf971 Mon Sep 17 00:00:00 2001
From: Pierre Chambart <pierre.chambart@ocamlpro.com>
Date: Wed, 9 Oct 2024 22:21:12 +0200
Subject: [PATCH] Reenable soli

---
 wasm/test/soli.ml      |  2 +-
 wasm/test/test_node.sh | 12 ++++++------
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/wasm/test/soli.ml b/wasm/test/soli.ml
index 8c78b79e7..162ea9359 100644
--- a/wasm/test/soli.ml
+++ b/wasm/test/soli.ml
@@ -102,5 +102,5 @@ let rec runbench n =
   end
 
 let _ =
-  let nruns = 2000 in
+  let nruns = 500 in
   runbench nruns
diff --git a/wasm/test/test_node.sh b/wasm/test/test_node.sh
index 70c5ca5c0..9633bc9b7 100755
--- a/wasm/test/test_node.sh
+++ b/wasm/test/test_node.sh
@@ -8,25 +8,25 @@ NODE='node-canary --stack-size=10000'
 
 bench() {
   echo "*** Running ${1}"
-  echo -n "Wasocaml (node):    "
+  echo -n "Wasocaml (node):            "
   ../../ocamlopt -O3 ./${2}.ml > /dev/null
   time $NODE ./main_node.mjs > /dev/null
   wasm-opt --enable-gc --enable-reference-types --enable-exception-handling --enable-multivalue --enable-tail-call a.out.wasm -o a.out.wasm -O3
-  echo -n "Wasocaml + wasm-opt (node):    "
+  echo -n "Wasocaml + wasm-opt (node): "
   time $NODE ./main_node.mjs > /dev/null
-  echo -n "OCaml native:       "
+  echo -n "OCaml native:               "
   ocamlopt -O3 ./${2}.ml > /dev/null
   time ./a.out > /dev/null
-  echo -n "OCaml bytecode:     "
+  echo -n "OCaml bytecode:             "
   ocamlc ./${2}.ml > /dev/null
   time ocamlrun ./a.out > /dev/null
-  echo -n "js_of_ocaml (node): "
+  echo -n "js_of_ocaml (node):         "
   js_of_ocaml compile --target-env=nodejs --opt=3 ./a.out
   time $NODE ./a.js > /dev/null
 }
 
 bench "Knuth-Bendix" "kb"
-#bench "Soli" "soli"
+bench "Soli" "soli"
 bench "Fibonacci" "fib"
 #bench "Almabench" "almabench"
 bench "Binary Decision Diagram" "bdd"