Merge pull request #58 from UB-CSE443/Dev

Dev
2025-05-03 13:15:05 -04:00
parent b0d30e2fcb 5a47e40227
commit 6eb7234c47
3 changed files with 60 additions and 12 deletions
--- a/tests/carl/NoErrors/functionValue.alpha
+++ b/tests/carl/NoErrors/functionValue.alpha
@ -28,6 +28,7 @@ function c: string2int_2_integer
 function d: iic2b

 d(x,y,z) := {
+    [string: s;integer: s]
 return (x < y & z < 'm');
 }