diff --git a/test/TestEquivalence.cpp b/test/TestEquivalence.cpp index 6febb178cf332c6b5e5be8be9e14e0f8b7de5ade..09df391be36cbffc1232265b5c657099b04eb0dc 100644 --- a/test/TestEquivalence.cpp +++ b/test/TestEquivalence.cpp @@ -219,17 +219,17 @@ TEST(EquivalenceCheck, trivialIID){ 6:} */ cout << "Invariant" << endl; - l0 = Dist {"1/(1 - p*n)", "p"} * Dist {"1/(1 - q*m)", "q"} * Dist {"1/(1 - r*tmp)", "r"}; + l0 = Dist {"1/(1 - p*n)", "p"} * Dist {"1/(1 - q*m)", "q"} * Dist {"1/(1 - r*t)", "r"}; cout << "l0:\t" << l0 << endl; l1 = l0.filterGreater("n", "0"); cout << "l1:\t" << l1 << endl; - l2 = l1.updateIid("tmp", Dist {"1/6 * T * (T^6 - 1) / (T - 1)"}, "n"); + l2 = l1.updateIid("t", Dist {"1/6 * T * (T^6 - 1) / (T - 1)"}, "n"); cout << "l2:\t" << l2 << endl; - l3 = l2.update("m", "m+tmp"); + l3 = l2.update("m", "m+t"); cout << "l3:\t" << l3 << endl; l4 = l3.update("n", "0"); cout << "l4:\t" << l4 << endl; - l5 = l4.update("tmp", "0"); + l5 = l4.update("t", "0"); cout << "l5:\t" << l5 << endl; Dist res1 = l5 + l0.filterLeq("n", "0"); cout << "res1:\t" << res1 << endl; @@ -253,17 +253,17 @@ TEST(EquivalenceCheck, trivialIID){ * */ cout << "Modified Inv" << endl; - l0 = Dist {"1/(1 - p*n)", "p"} * Dist {"1/(1 - q*m)", "q"} * Dist {"1/(1 - r*tmp)", "r"}; + l0 = Dist {"1/(1 - p*n)", "p"} * Dist {"1/(1 - q*m)", "q"} * Dist {"1/(1 - r*t)", "r"}; l1 = l0.filterGreater("n", "0"); - l2 = l1.update("tmp", "0") * Dist {"1/6 * T * (T^6 - 1) / (T - 1)"}; - l3 = l2.update("m", "m+n"); - l4 = l3.update("tmp", "0"); + l2 = l1.update("t", "0") * Dist {"1/6 * T * (T^6 - 1) / (T - 1)"}; + l3 = l2.update("m", "m+t"); + l4 = l3.update("t", "0"); l5 = l4.update("n", "n-1"); l6 = l5.filterGreater("n", "0"); - l7 = l6.updateIid("tmp", Dist {"1/6 * T * (T^6 - 1) / (T - 1)"}, "n"); - l8 = l7.update("m", "m+tmp"); + l7 = l6.updateIid("t", Dist {"1/6 * T * (T^6 - 1) / (T - 1)"}, "n"); + l8 = l7.update("m", "m+t"); l9 = l8.update("n", "0"); - l10 = l9.update("tmp", "0"); + l10 = l9.update("t", "0"); l11 = l10 + l5.filterLeq("n", "0"); l12 = l11 + l0.filterLeq("n", "0"); Dist res2 = l12;