Merge lp:~verifydtapn-contributers/verifydtapn/SlowHeuristicsBug into lp:verifydtapn

[Peter Gjøl Jensen]

Fixed the linked bug. The fix is trivial.

[Jiri Srba (srba)]

Tested and works. The fix is clear, so no need for more reviews here.

review: Approve

=== modified file 'src/DiscreteVerification/SearchStrategies/WeightQueryVisitor.cpp'
--- src/DiscreteVerification/SearchStrategies/WeightQueryVisitor.cpp	2014-02-16 19:20:25 +0000
+++ src/DiscreteVerification/SearchStrategies/WeightQueryVisitor.cpp	2014-07-04 20:51:42 +0000
@@ -55,7 +55,7 @@
                     IntResult left;
                     expr.getLeft().accept(*this, left);
                     IntResult right;
-                    expr.getLeft().accept(*this, right);
+                    expr.getRight().accept(*this, right);
 			static_cast<IntResult&>(context).value
                                 = compare(left.value, expr.getOperator(), right.value);
 		}
@@ -72,7 +72,7 @@
                     IntResult left;
                     expr.getLeft().accept(*this, left);
                     IntResult right;
-                    expr.getLeft().accept(*this, right);
+                    expr.getRight().accept(*this, right);
                     ((IntResult&)context).value = left.value * right.value;
                 }
                 
@@ -86,7 +86,7 @@
                     IntResult left;
                     expr.getLeft().accept(*this, left);
                     IntResult right;
-                    expr.getLeft().accept(*this, right);
+                    expr.getRight().accept(*this, right);
                     ((IntResult&)context).value = left.value - right.value;
                 }
 
@@ -94,7 +94,7 @@
                     IntResult left;
                     expr.getLeft().accept(*this, left);
                     IntResult right;
-                    expr.getLeft().accept(*this, right);
+                    expr.getRight().accept(*this, right);
                     ((IntResult&)context).value = left.value + right.value;
                 }