summaryrefslogtreecommitdiff
path: root/BCT/RegressionTests
diff options
context:
space:
mode:
Diffstat (limited to 'BCT/RegressionTests')
-rw-r--r--BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt6
-rw-r--r--BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt6
2 files changed, 12 insertions, 0 deletions
diff --git a/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt b/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt
index 98583054..03f26c13 100644
--- a/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt
+++ b/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt
@@ -292,6 +292,8 @@ const unique $DefaultStruct: [Field]Box;
type Real;
+const unique $DefaultReal: Real;
+
function Box2Int(Box) : int;
function Box2Bool(Box) : bool;
@@ -327,6 +329,10 @@ function Int2Real(int, Type, Type) : Real;
function Real2Int(Real, Type, Type) : Real;
+function Ref2Real(Ref, Type, Type) : Real;
+
+function Real2Ref(Real, Type, Type) : Ref;
+
function $DynamicType(Ref) : Type;
function $TypeOf(Type) : Ref;
diff --git a/BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt b/BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt
index c292fb90..dd3e629b 100644
--- a/BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt
+++ b/BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt
@@ -282,6 +282,8 @@ const unique $DefaultStruct: [Field]Box;
type Real;
+const unique $DefaultReal: Real;
+
function Box2Int(Box) : int;
function Box2Bool(Box) : bool;
@@ -317,6 +319,10 @@ function Int2Real(int, Type, Type) : Real;
function Real2Int(Real, Type, Type) : Real;
+function Ref2Real(Ref, Type, Type) : Real;
+
+function Real2Ref(Real, Type, Type) : Ref;
+
function $DynamicType(Ref) : Type;
function $TypeOf(Type) : Ref;