fix tests

anoma · May 28, 2024 · d5ee411 · d5ee411
1 parent 4936f26
commit d5ee411
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/tests/Rust/Compilation/positive/out/test021.out b/tests/Rust/Compilation/positive/out/test021.out
@@ -1 +1 @@
-9767820
+80320
diff --git a/tests/Rust/Compilation/positive/out/test034.out b/tests/Rust/Compilation/positive/out/test034.out
@@ -1 +1 @@
-50006027
+501527
diff --git a/tests/Rust/Compilation/positive/test021.juvix b/tests/Rust/Compilation/positive/test021.juvix
@@ -13,4 +13,4 @@ power' : Nat → Nat → Nat → Nat
 
 power : Nat → Nat → Nat := power' 1;
 
-main : Nat := power 2 3 + power 3 7 + power 5 10;
+main : Nat := power 2 3 + power 3 7 + power 5 7;
diff --git a/tests/Rust/Compilation/positive/test034.juvix b/tests/Rust/Compilation/positive/test034.juvix
@@ -22,4 +22,4 @@ mutrec : Nat :=
     h (x : Nat) : Nat := if (x < 1) 1 (x * f (sub x 1));
   in f 5 + f 10 + g 5 + h 5;
 
-main : Nat := sum 10000 + mutrec;
+main : Nat := sum 1000 + mutrec;
Original file line number	Diff line number	Diff line change
Expand Up		@@ -13,4 +13,4 @@ power' : Nat → Nat → Nat → Nat

		power : Nat → Nat → Nat := power' 1;

		main : Nat := power 2 3 + power 3 7 + power 5 10;
		main : Nat := power 2 3 + power 3 7 + power 5 7;