test

anoma · Apr 18, 2024 · 0884b8a · 0884b8a
1 parent b17be2b
commit 0884b8a
Show file tree

Hide file tree

Showing 4 changed files with 23 additions and 2 deletions.
diff --git a/juvix-stdlib b/juvix-stdlib
diff --git a/test/Casm/Compilation/Positive.hs b/test/Casm/Compilation/Positive.hs
@@ -474,5 +474,12 @@ tests =
         True
         $(mkRelDir ".")
         $(mkRelFile "test075.juvix")
-        $(mkRelFile "out/test075.out")
+        $(mkRelFile "out/test075.out"),
+      posTest
+        "Test076: Elliptic Curve builtin"
+        False
+        True
+        $(mkRelDir ".")
+        $(mkRelFile "test076.juvix")
+        $(mkRelFile "out/test076.out")
     ]
diff --git a/tests/Casm/Compilation/positive/out/test076.out b/tests/Casm/Compilation/positive/out/test076.out
@@ -0,0 +1 @@
+-239707713998411894939692760394344630800925432259393396371649456207189656012
diff --git a/tests/Casm/Compilation/positive/test076.juvix b/tests/Casm/Compilation/positive/test076.juvix
@@ -0,0 +1,13 @@
+-- Elliptic Curve operation
+module test076;
+
+import Stdlib.Prelude open;
+import Stdlib.Cairo.Ec as Ec;
+
+main : Field :=
+  let
+    pt : Ec.Point :=
+      Ec.mkPoint Ec.StarkCurve.GEN_X Ec.StarkCurve.GEN_Y;
+    dt : Ec.Point := Ec.double pt;
+    r : Ec.Point := Ec.addMul pt 9 dt;
+  in Ec.Point.x r + Ec.Point.y r;
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		-239707713998411894939692760394344630800925432259393396371649456207189656012