[test] add tests for micheline expression annotations

trilitech · Dec 14, 2024 · c3e49fc · c3e49fc
1 parent 81e2c04
commit c3e49fc
Show file tree

Hide file tree

Showing 69 changed files with 9 additions and 0 deletions.
diff --git a/...ions/test_sign_micheline/test_sign_micheline[prim-allowed-char-annot]/00000.png b/...ions/test_sign_micheline/test_sign_micheline[prim-allowed-char-annot]/00000.png
diff --git a/...ions/test_sign_micheline/test_sign_micheline[prim-allowed-char-annot]/00001.png b/...ions/test_sign_micheline/test_sign_micheline[prim-allowed-char-annot]/00001.png
diff --git a/...ions/test_sign_micheline/test_sign_micheline[prim-allowed-char-annot]/00002.png b/...ions/test_sign_micheline/test_sign_micheline[prim-allowed-char-annot]/00002.png
diff --git a/...ions/test_sign_micheline/test_sign_micheline[prim-allowed-char-annot]/00003.png b/...ions/test_sign_micheline/test_sign_micheline[prim-allowed-char-annot]/00003.png
diff --git a/...ions/test_sign_micheline/test_sign_micheline[prim-allowed-char-annot]/00004.png b/...ions/test_sign_micheline/test_sign_micheline[prim-allowed-char-annot]/00004.png
diff --git a/...ions/test_sign_micheline/test_sign_micheline[prim-allowed-char-annot]/00005.png b/...ions/test_sign_micheline/test_sign_micheline[prim-allowed-char-annot]/00005.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00000.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00000.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00001.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00001.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00002.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00002.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00003.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00003.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00004.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00004.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00005.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00005.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00006.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00006.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00007.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00007.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00008.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00008.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00009.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00009.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00010.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00010.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00011.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00011.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00012.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00012.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00013.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00013.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00014.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00014.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00015.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00015.png
diff --git a/...ions/test_sign_micheline/test_sign_micheline[prim-with-annot-and-arg]/00000.png b/...ions/test_sign_micheline/test_sign_micheline[prim-with-annot-and-arg]/00000.png
diff --git a/...ions/test_sign_micheline/test_sign_micheline[prim-with-annot-and-arg]/00001.png b/...ions/test_sign_micheline/test_sign_micheline[prim-with-annot-and-arg]/00001.png
diff --git a/...ions/test_sign_micheline/test_sign_micheline[prim-with-annot-and-arg]/00002.png b/...ions/test_sign_micheline/test_sign_micheline[prim-with-annot-and-arg]/00002.png
diff --git a/...n/operations/test_sign_micheline/test_sign_micheline[prim-with-annot]/00000.png b/...n/operations/test_sign_micheline/test_sign_micheline[prim-with-annot]/00000.png
diff --git a/...n/operations/test_sign_micheline/test_sign_micheline[prim-with-annot]/00001.png b/...n/operations/test_sign_micheline/test_sign_micheline[prim-with-annot]/00001.png
diff --git a/...n/operations/test_sign_micheline/test_sign_micheline[prim-with-annot]/00002.png b/...n/operations/test_sign_micheline/test_sign_micheline[prim-with-annot]/00002.png
diff --git a/.../operations/test_sign_micheline/test_sign_micheline[prim-with-annots]/00000.png b/.../operations/test_sign_micheline/test_sign_micheline[prim-with-annots]/00000.png
diff --git a/.../operations/test_sign_micheline/test_sign_micheline[prim-with-annots]/00001.png b/.../operations/test_sign_micheline/test_sign_micheline[prim-with-annots]/00001.png
diff --git a/.../operations/test_sign_micheline/test_sign_micheline[prim-with-annots]/00002.png b/.../operations/test_sign_micheline/test_sign_micheline[prim-with-annots]/00002.png
diff --git a/.../operations/test_sign_micheline/test_sign_micheline[prim-with-annots]/00003.png b/.../operations/test_sign_micheline/test_sign_micheline[prim-with-annots]/00003.png
diff --git a/...ions/test_sign_micheline/test_sign_micheline[prim-allowed-char-annot]/00000.png b/...ions/test_sign_micheline/test_sign_micheline[prim-allowed-char-annot]/00000.png
diff --git a/...ions/test_sign_micheline/test_sign_micheline[prim-allowed-char-annot]/00001.png b/...ions/test_sign_micheline/test_sign_micheline[prim-allowed-char-annot]/00001.png
diff --git a/...ions/test_sign_micheline/test_sign_micheline[prim-allowed-char-annot]/00002.png b/...ions/test_sign_micheline/test_sign_micheline[prim-allowed-char-annot]/00002.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00000.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00000.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00001.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00001.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00002.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00002.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00003.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00003.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00004.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00004.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00005.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00005.png
diff --git a/...ions/test_sign_micheline/test_sign_micheline[prim-with-annot-and-arg]/00000.png b/...ions/test_sign_micheline/test_sign_micheline[prim-with-annot-and-arg]/00000.png
diff --git a/...ions/test_sign_micheline/test_sign_micheline[prim-with-annot-and-arg]/00001.png b/...ions/test_sign_micheline/test_sign_micheline[prim-with-annot-and-arg]/00001.png
diff --git a/...ions/test_sign_micheline/test_sign_micheline[prim-with-annot-and-arg]/00002.png b/...ions/test_sign_micheline/test_sign_micheline[prim-with-annot-and-arg]/00002.png
diff --git a/...n/operations/test_sign_micheline/test_sign_micheline[prim-with-annot]/00000.png b/...n/operations/test_sign_micheline/test_sign_micheline[prim-with-annot]/00000.png
diff --git a/...n/operations/test_sign_micheline/test_sign_micheline[prim-with-annot]/00001.png b/...n/operations/test_sign_micheline/test_sign_micheline[prim-with-annot]/00001.png
diff --git a/...n/operations/test_sign_micheline/test_sign_micheline[prim-with-annot]/00002.png b/...n/operations/test_sign_micheline/test_sign_micheline[prim-with-annot]/00002.png
diff --git a/.../operations/test_sign_micheline/test_sign_micheline[prim-with-annots]/00000.png b/.../operations/test_sign_micheline/test_sign_micheline[prim-with-annots]/00000.png
diff --git a/.../operations/test_sign_micheline/test_sign_micheline[prim-with-annots]/00001.png b/.../operations/test_sign_micheline/test_sign_micheline[prim-with-annots]/00001.png
diff --git a/.../operations/test_sign_micheline/test_sign_micheline[prim-with-annots]/00002.png b/.../operations/test_sign_micheline/test_sign_micheline[prim-with-annots]/00002.png
diff --git a/...ions/test_sign_micheline/test_sign_micheline[prim-allowed-char-annot]/00000.png b/...ions/test_sign_micheline/test_sign_micheline[prim-allowed-char-annot]/00000.png
diff --git a/...ions/test_sign_micheline/test_sign_micheline[prim-allowed-char-annot]/00001.png b/...ions/test_sign_micheline/test_sign_micheline[prim-allowed-char-annot]/00001.png
diff --git a/...ions/test_sign_micheline/test_sign_micheline[prim-allowed-char-annot]/00002.png b/...ions/test_sign_micheline/test_sign_micheline[prim-allowed-char-annot]/00002.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00000.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00000.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00001.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00001.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00002.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00002.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00003.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00003.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00004.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00004.png
diff --git a/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00005.png b/...perations/test_sign_micheline/test_sign_micheline[prim-max-len-annot]/00005.png
diff --git a/...ions/test_sign_micheline/test_sign_micheline[prim-with-annot-and-arg]/00000.png b/...ions/test_sign_micheline/test_sign_micheline[prim-with-annot-and-arg]/00000.png
diff --git a/...ions/test_sign_micheline/test_sign_micheline[prim-with-annot-and-arg]/00001.png b/...ions/test_sign_micheline/test_sign_micheline[prim-with-annot-and-arg]/00001.png
diff --git a/...ions/test_sign_micheline/test_sign_micheline[prim-with-annot-and-arg]/00002.png b/...ions/test_sign_micheline/test_sign_micheline[prim-with-annot-and-arg]/00002.png
diff --git a/...n/operations/test_sign_micheline/test_sign_micheline[prim-with-annot]/00000.png b/...n/operations/test_sign_micheline/test_sign_micheline[prim-with-annot]/00000.png
diff --git a/...n/operations/test_sign_micheline/test_sign_micheline[prim-with-annot]/00001.png b/...n/operations/test_sign_micheline/test_sign_micheline[prim-with-annot]/00001.png
diff --git a/...n/operations/test_sign_micheline/test_sign_micheline[prim-with-annot]/00002.png b/...n/operations/test_sign_micheline/test_sign_micheline[prim-with-annot]/00002.png
diff --git a/.../operations/test_sign_micheline/test_sign_micheline[prim-with-annots]/00000.png b/.../operations/test_sign_micheline/test_sign_micheline[prim-with-annots]/00000.png
diff --git a/.../operations/test_sign_micheline/test_sign_micheline[prim-with-annots]/00001.png b/.../operations/test_sign_micheline/test_sign_micheline[prim-with-annots]/00001.png
diff --git a/.../operations/test_sign_micheline/test_sign_micheline[prim-with-annots]/00002.png b/.../operations/test_sign_micheline/test_sign_micheline[prim-with-annots]/00002.png
diff --git a/tests/integration/nano/test_sign/operations/test_sign_micheline.py b/tests/integration/nano/test_sign/operations/test_sign_micheline.py
@@ -17,6 +17,7 @@
 """Gathering of tests related to Micheline."""
 
 from pathlib import Path
+from string import ascii_lowercase, ascii_uppercase, digits
 from typing import List, Tuple
 
 import pytest
@@ -248,6 +249,14 @@
 
     # Constant
     ({"prim": "constant", 'args': [{"string": Default.SCRIPT_EXPR_HASH}]}, "constant"),
+
+    # Annots
+    ({"prim": "unit", "annots": [":annot"]}, "with-annot"),
+    ({"prim": "PAIR", "annots": ["@annot1", "%@annot2"]}, "with-annots"),
+    ({"prim": "LEFT", "annots": ["%annot"], 'args': [{"prim": "unit"}]}, "with-annot-and-arg"),
+    ({"prim": "unit", "annots": [":" + ascii_lowercase + ascii_uppercase + '_' + digits]}, "allowed-char-annot"),
+    ({"prim": "unit", "annots": [":" + (ascii_lowercase * ((254 // len(ascii_lowercase)) + 1))[:254]]}, "max-len-annot"),
+
 ]