new test cases

rmanohar · Jul 17, 2024 · 0e8a47d · 0e8a47d
1 parent 68b70cc
commit 0e8a47d
Show file tree

Hide file tree

Showing 7 changed files with 49 additions and 2 deletions.
diff --git a/test/102.act b/test/102.act
@@ -1,9 +1,9 @@
 deftype str (int<4> x)
 {
    methods {
-     macro plus (int<2> y) : int<4>
+     function plus (int<2> y) : int<4>
      {
-       self := x + y
+       chp { self := x + y }
      }
    }
 }

diff --git a/test/103.act b/test/103.act
@@ -0,0 +1,21 @@
+deftype str (int<4> x, z)
+{
+   methods {
+     function plus (int<2> y) : int<4>
+     {
+       chp { self := x + y }
+     }
+   }
+}
+
+defproc test()
+{
+   str s;
+   chp {
+      s.x := 3;
+      s.z := 1;
+      log ("got ", int(s))
+   }
+}
+
+test t;
diff --git a/test/104.act b/test/104.act
@@ -0,0 +1,22 @@
+deftype str (int<4> x, z)
+{
+   methods {
+     function plus (int<2> y) : int<4>
+     {
+       chp { self := x + y }
+     }
+   }
+}
+
+defproc test()
+{
+   str s;
+   int<8> w;
+   chp {
+      w := 0x42;
+      s := str(0x42);
+      log ("got ", s.x, " ", s.z)
+   }
+}
+
+test t;
diff --git a/test/runs/103.act.stderr b/test/runs/103.act.stderr
@@ -0,0 +1 @@
+WARNING: test<>: substituting chp model (requested prs, not found)
diff --git a/test/runs/103.act.stdout b/test/runs/103.act.stdout
@@ -0,0 +1 @@
+[                  20] <>  got 49
diff --git a/test/runs/104.act.stderr b/test/runs/104.act.stderr
@@ -0,0 +1 @@
+WARNING: test<>: substituting chp model (requested prs, not found)
diff --git a/test/runs/104.act.stdout b/test/runs/104.act.stdout
@@ -0,0 +1 @@
+[                  20] <>  got 4 2