Load the Rubi snapshot in test cases.

corywalker · Nov 19, 2018 · 726fb09 · 726fb09
1 parent b6e105f
commit 726fb09
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/expreduce/resources.go b/expreduce/resources.go
diff --git a/expreduce/resources/calculus.m b/expreduce/resources/calculus.m
@@ -53,6 +53,7 @@
 Attributes[Integrate] = {ReadProtected, Protected};
 Tests`Integrate = {
     ESimpleExamples[
+        ESameTest[Null, LoadRubiBundledSnapshot[]],
         ESameTest[2 x + (3 x^(5/3))/5 + (3 x^2)/2, Integrate[x^(2/3) + 3 x + 2, x]],
         ESameTest[-((3 x^2)/4) + (1/2) (x^2) Log[x] - Sin[x], Integrate[Integrate[Sin[x] + Log[x], x], x]],
         ESameTest[1/3, Integrate[x^2, {x, 0, 1}]],

diff --git a/expreduce/resources/rubi.m b/expreduce/resources/rubi.m
@@ -5,7 +5,7 @@
     ESimpleExamples[
         (*Just test a few cases for a sanity check. Full test suite can be run
         outside of test suite.*)
-        ESameTest[Null, LoadRubi[]],
+        ESameTest[Null, LoadRubiBundledSnapshot[]],
         ESameTest[x^3/3 + 2*x, Rubi`Int[x^2+2, x]],
         ESameTest[(-3*ArcTanh[Cosh[a+b*x]])/(8*b)+(3*Coth[a+b*x]*Csch[a+b*x])/(8*b)-(Coth[a+b*x]*Csch[a+b*x]^3)/(4*b), Rubi`Int[Csch[a + b*x]^5,x]],
         ESameTest[Log[x], Rubi`Int[1/x, x]],