From fd0f2306ec855cf2beb71f8332bd77b87b24e890 Mon Sep 17 00:00:00 2001
From: Lutz Klinkenberg <lutz.klinkenberg@cs.rwth-aachen.de>
Date: Wed, 1 Dec 2021 14:12:19 +0100
Subject: [PATCH] still failing
---
test/TestEquivalence.cpp | 22 +++++++++++-----------
1 file changed, 11 insertions(+), 11 deletions(-)
diff --git a/test/TestEquivalence.cpp b/test/TestEquivalence.cpp
index 6febb17..09df391 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;
--
GitLab