Reenable soli

OCamlPro · Oct 9, 2024 · eee778f · eee778f
1 parent 9290525
commit eee778f
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git 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
@@ -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"