(phone bct) default URI checks inlined

inlining statistics

2 files changed, 12 insertions, 12 deletions

diff --git a/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt b/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt
index 50eb18a7..d33b6a17 100644
--- a/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt
+++ b/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt
@@ -292,11 +292,11 @@ implementation DelegateRemoveHelper(oldi: Ref, m: int, o: Ref) returns (i: Ref)
 

 

 

-procedure System.String.op_Equality$System.String$System.String(a$in: Ref, b$in: Ref) returns ($result: bool);

+procedure {:inline 1} System.String.op_Equality$System.String$System.String(a$in: Ref, b$in: Ref) returns ($result: bool);

 

 

 

-procedure System.String.op_Inequality$System.String$System.String(a$in: Ref, b$in: Ref) returns ($result: bool);

+procedure {:inline 1} System.String.op_Inequality$System.String$System.String(a$in: Ref, b$in: Ref) returns ($result: bool);

 

 

 

@@ -318,7 +318,7 @@ var isControlEnabled: [Ref]bool;
 

 var isControlChecked: [Ref]bool;

 

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

+procedure {:inline 1} System.Windows.Controls.Control.set_IsEnabled$System.Boolean($this: Ref, value$in: bool);

 

 

 

@@ -329,7 +329,7 @@ implementation System.Windows.Controls.Control.set_IsEnabled$System.Boolean($thi
 

 

 

-procedure System.Windows.Controls.Control.get_IsEnabled($this: Ref) returns ($result: Ref);

+procedure {:inline 1} System.Windows.Controls.Control.get_IsEnabled($this: Ref) returns ($result: Ref);

 

 

 

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

 

 

-procedure System.Windows.Controls.Primitives.ToggleButton.set_IsChecked$System.Nullable$System.Boolean$($this: Ref, value$in: Ref);

+procedure {:inline 1} System.Windows.Controls.Primitives.ToggleButton.set_IsChecked$System.Nullable$System.Boolean$($this: Ref, value$in: Ref);

 

 

 

@@ -357,7 +357,7 @@ implementation System.Windows.Controls.Primitives.ToggleButton.set_IsChecked$Sys
 

 

 

-procedure System.Windows.Controls.Primitives.ToggleButton.get_IsChecked($this: Ref) returns ($result: Ref);

+procedure {:inline 1} System.Windows.Controls.Primitives.ToggleButton.get_IsChecked($this: Ref) returns ($result: Ref);

 

 

 

diff --git a/BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt b/BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt
index cf34d250..2f6b0041 100644
--- a/BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt
+++ b/BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt
@@ -290,11 +290,11 @@ implementation DelegateRemoveHelper(oldi: Ref, m: int, o: Ref) returns (i: Ref)
 

 

 

-procedure System.String.op_Equality$System.String$System.String(a$in: Ref, b$in: Ref) returns ($result: bool);

+procedure {:inline 1} System.String.op_Equality$System.String$System.String(a$in: Ref, b$in: Ref) returns ($result: bool);

 

 

 

-procedure System.String.op_Inequality$System.String$System.String(a$in: Ref, b$in: Ref) returns ($result: bool);

+procedure {:inline 1} System.String.op_Inequality$System.String$System.String(a$in: Ref, b$in: Ref) returns ($result: bool);

 

 

 

@@ -316,7 +316,7 @@ var isControlEnabled: [Ref]bool;
 

 var isControlChecked: [Ref]bool;

 

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

+procedure {:inline 1} System.Windows.Controls.Control.set_IsEnabled$System.Boolean($this: Ref, value$in: bool);

 

 

 

@@ -327,7 +327,7 @@ implementation System.Windows.Controls.Control.set_IsEnabled$System.Boolean($thi
 

 

 

-procedure System.Windows.Controls.Control.get_IsEnabled($this: Ref) returns ($result: Ref);

+procedure {:inline 1} System.Windows.Controls.Control.get_IsEnabled($this: Ref) returns ($result: Ref);

 

 

 

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

 

 

-procedure System.Windows.Controls.Primitives.ToggleButton.set_IsChecked$System.Nullable$System.Boolean$($this: Ref, value$in: Ref);

+procedure {:inline 1} System.Windows.Controls.Primitives.ToggleButton.set_IsChecked$System.Nullable$System.Boolean$($this: Ref, value$in: Ref);

 

 

 

@@ -355,7 +355,7 @@ implementation System.Windows.Controls.Primitives.ToggleButton.set_IsChecked$Sys
 

 

 

-procedure System.Windows.Controls.Primitives.ToggleButton.get_IsChecked($this: Ref) returns ($result: Ref);

+procedure {:inline 1} System.Windows.Controls.Primitives.ToggleButton.get_IsChecked($this: Ref) returns ($result: Ref);