From 9703fecec881c711a049d0dc15ec4afacc44105f Mon Sep 17 00:00:00 2001
From: Vitor Py Braga <12871+vitorpy@users.noreply.github.com>
Date: Thu, 21 Mar 2024 21:02:35 +0100
Subject: [PATCH] Expand test cases

---
 src/grammar/test/case-25.tact | 22 +++++++++++++++++++++-
 1 file changed, 21 insertions(+), 1 deletion(-)

diff --git a/src/grammar/test/case-25.tact b/src/grammar/test/case-25.tact
index 6e1506150..dd2bfcd1e 100644
--- a/src/grammar/test/case-25.tact
+++ b/src/grammar/test/case-25.tact
@@ -9,7 +9,16 @@ fun anotherFunction(
     return (a >> b) || (a << (32 - b));
 }
 
+extends fun extension(self: Int, c: Int, d: Int) {
+    return self + c + d;
+}
+
 fun coverage(a: Int, b: Int) {
+    let k: Int = a.extension(
+        b,
+        4,
+    );
+
     let c: Int = anotherFunction(
         a,
         b,
@@ -24,4 +33,15 @@ fun oneMoreFunction(
         a,
         b,
     );
-}
\ No newline at end of file
+}
+
+contract TestContract {
+    init(arg1: Int, arg2: Int) {}
+}
+
+fun test() {
+    let k: StateInit = initOf TestContract(
+        2,
+        3,
+    );
+}