Merge pull request #1714 from AleoHQ/feat/negative-instr-parse-tests

[tests] Some negative instruction parsing tests.
AleoNet · Jun 27, 2023 · d00971a · d00971a
2 parents 1a6e4fd + 3d46092
commit d00971a
Show file tree

Hide file tree

Showing 2 changed files with 60 additions and 0 deletions.
diff --git a/synthesizer/tests/expectations/parser/instruction/instruction_fail.out b/synthesizer/tests/expectations/parser/instruction/instruction_fail.out
@@ -16,3 +16,57 @@
   add s0 r1 into r3;
   ^
 
+- |+
+  0: at line 1, in Tag:
+  hash.bhp2048 r0 into r1 as field;
+  ^
+
+  1: at line 1, in Alt:
+  hash.bhp2048 r0 into r1 as field;
+  ^
+
+- |+
+  0: at line 1, in Tag:
+  hash.pds2 r0 into r1 as field;
+  ^
+
+  1: at line 1, in Alt:
+  hash.pds2 r0 into r1 as field;
+  ^
+
+- |+
+  0: at line 1, in Tag:
+  commit.ped128 r0 r1 into r2;
+  ^
+
+  1: at line 1, in Alt:
+  commit.ped128 r0 r1 into r2;
+  ^
+
+- |+
+  0: at line 1, in Tag:
+  add_w r0 r1 into r2;
+  ^
+
+  1: at line 1, in Alt:
+  add_w r0 r1 into r2;
+  ^
+
+- |+
+  0: at line 1, in Tag:
+  assert r0;
+  ^
+
+  1: at line 1, in Alt:
+  assert r0;
+  ^
+
+- |+
+  0: at line 1, in Tag:
+  neg r0 into 3field;
+  ^
+
+  1: at line 1, in Alt:
+  neg r0 into 3field;
+  ^
+
diff --git a/synthesizer/tests/tests/parser/instruction/instruction_fail.aleo b/synthesizer/tests/tests/parser/instruction/instruction_fail.aleo
@@ -1,2 +1,8 @@
 floo r0 r1 into r2;
 add s0 r1 into r3;
+hash.bhp2048 r0 into r1 as field;
+hash.pds2 r0 into r1 as field;
+commit.ped128 r0 r1 into r2;
+add_w r0 r1 into r2;
+assert r0;
+neg r0 into 3field;