Benchmark tests from hints

LS-Lab · Jul 1, 2020 · cbe4175 · cbe4175
1 parent 9d0e900
commit cbe4175
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/keymaerax-webui/src/test/scala/edu/cmu/cs/ls/keymaerax/btactics/BenchmarkTests.scala b/keymaerax-webui/src/test/scala/edu/cmu/cs/ls/keymaerax/btactics/BenchmarkTests.scala
@@ -195,7 +195,7 @@ class BenchmarkTester(val benchmarkName: String, val url: String,
     }
   }
 
-  it should "prove benchmarks with proof hints and Mathematica" ignore withMathematica { tool => setTimeouts(tool) {
+  it should "prove benchmarks with proof hints and Mathematica" in withMathematica { tool => setTimeouts(tool) {
     val results = entries.map(e => runWithHints(e.name, e.model, e.tactic.lastOption.map(_._2)))
     val writer = new PrintWriter(benchmarkName + "_withhints.csv")
     writer.write(