Updated regressions.

2 files changed, 20 insertions, 12 deletions

diff --git a/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt b/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt
index e4fd8eae..2136ef03 100644
--- a/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt
+++ b/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt
@@ -314,9 +314,9 @@ implementation System.String.op_Inequality$System.String$System.String(a$in: Ref
 

 

 

-function isControlEnabled(Ref) : bool;

+var isControlEnabled: [Ref]bool;

 

-function isControlChecked(Ref) : bool;

+var isControlChecked: [Ref]bool;

 

 procedure System.Windows.Controls.Control.set_IsEnabled$System.Boolean($this: Ref, value$in: bool);

 

@@ -324,7 +324,7 @@ procedure System.Windows.Controls.Control.set_IsEnabled$System.Boolean($this: Re
 

 implementation System.Windows.Controls.Control.set_IsEnabled$System.Boolean($this: Ref, value$in: bool)

 {

-    assume isControlEnabled($this) == value$in;

+    isControlEnabled[$this] := value$in;

 }

 

 

@@ -337,7 +337,7 @@ implementation System.Windows.Controls.Control.get_IsEnabled($this: Ref) returns
 {

   var enabledness: bool;

 

-    enabledness := isControlEnabled($this);

+    enabledness := isControlEnabled[$this];

     $result := Box2Ref(Bool2Box(enabledness));

 }

 

@@ -352,7 +352,7 @@ implementation System.Windows.Controls.Primitives.ToggleButton.set_IsChecked$Sys
   var check: bool;

 

     check := Box2Bool(Ref2Box(value$in));

-    assume isControlChecked($this) == check;

+    isControlChecked[$this] := check;

 }

 

 

@@ -365,7 +365,7 @@ implementation System.Windows.Controls.Primitives.ToggleButton.get_IsChecked($th
 {

   var isChecked: bool;

 

-    isChecked := isControlChecked($this);

+    isChecked := isControlChecked[$this];

     $result := Box2Ref(Bool2Box(isChecked));

 }

 

@@ -454,6 +454,10 @@ function BitwiseExclusiveOr(int, int) : int;
 

 function BitwiseNegation(int) : int;

 

+function RightShift(int) : int;

+

+function LeftShift(int) : int;

+

 function $DynamicType(Ref) : Type;

 

 function $TypeOf(Type) : Ref;

diff --git a/BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt b/BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt
index 8d329f79..baf65b27 100644
--- a/BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt
+++ b/BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt
@@ -312,9 +312,9 @@ implementation System.String.op_Inequality$System.String$System.String(a$in: Ref
 

 

 

-function isControlEnabled(Ref) : bool;

+var isControlEnabled: [Ref]bool;

 

-function isControlChecked(Ref) : bool;

+var isControlChecked: [Ref]bool;

 

 procedure System.Windows.Controls.Control.set_IsEnabled$System.Boolean($this: Ref, value$in: bool);

 

@@ -322,7 +322,7 @@ procedure System.Windows.Controls.Control.set_IsEnabled$System.Boolean($this: Re
 

 implementation System.Windows.Controls.Control.set_IsEnabled$System.Boolean($this: Ref, value$in: bool)

 {

-    assume isControlEnabled($this) == value$in;

+    isControlEnabled[$this] := value$in;

 }

 

 

@@ -335,7 +335,7 @@ implementation System.Windows.Controls.Control.get_IsEnabled($this: Ref) returns
 {

   var enabledness: bool;

 

-    enabledness := isControlEnabled($this);

+    enabledness := isControlEnabled[$this];

     $result := Box2Ref(Bool2Box(enabledness));

 }

 

@@ -350,7 +350,7 @@ implementation System.Windows.Controls.Primitives.ToggleButton.set_IsChecked$Sys
   var check: bool;

 

     check := Box2Bool(Ref2Box(value$in));

-    assume isControlChecked($this) == check;

+    isControlChecked[$this] := check;

 }

 

 

@@ -363,7 +363,7 @@ implementation System.Windows.Controls.Primitives.ToggleButton.get_IsChecked($th
 {

   var isChecked: bool;

 

-    isChecked := isControlChecked($this);

+    isChecked := isControlChecked[$this];

     $result := Box2Ref(Bool2Box(isChecked));

 }

 

@@ -440,6 +440,10 @@ function BitwiseExclusiveOr(int, int) : int;
 

 function BitwiseNegation(int) : int;

 

+function RightShift(int) : int;

+

+function LeftShift(int) : int;

+

 function $DynamicType(Ref) : Type;

 

 function $TypeOf(Type) : Ref;