comment tests

leanprover-community · Feb 7, 2025 · a89de22 · a89de22
1 parent 8f26765
commit a89de22
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/AesopTest/Forward/Benchmark.lean b/AesopTest/Forward/Benchmark.lean
@@ -54,6 +54,7 @@ def isteps (n : Nat) : List Nat := (List.iota (n - 1)) ++ [0]
 #check runTestCluster
 -/
 
+/-
 /-
 **Uncomment to run tests**-/
 local notation "k" => 10
@@ -63,3 +64,4 @@ bchmk 3 with isteps k using fun n ↦ runTestErase k 0 k n
 bchmk 3 with (pows 5) using fun n ↦ runTestIndep 6 n
 bchmk 3 with (pows 6) using fun n ↦ runTestCascade n
 bchmk 3 with (pows 6) using fun n ↦ runTestCluster n 3 (2 ^ 5 / n)
+-/