Assurances and authorizations vectors

Author: davxy

.github/workflows/ci.yml

@@ -25,6 +25,7 @@ jobs:
           pip install git+https://github.com/davxy/asn1tools.git
       - name: Validate vectors
         run: |
-          for v in codec accumulate; do
+          for v in codec accumulate assurances authorizations; do
+            echo "========= Validating $v vectors ========="
             ./$v/validate.py
           done

assurances/validate.py

@@ -1,14 +1,16 @@
 #!/usr/bin/env python
 
+import asn1tools
+import glob
 import os
 import sys
-from pathlib import Path
 
-import asn1tools
+script_dir = os.path.dirname(os.path.abspath(__file__))
+sys.path.append(os.path.abspath(os.path.join(script_dir, '../jam-types-asn')))
 
-sys.path.append(os.path.abspath(os.path.join(os.path.dirname(__file__), '../jam-types-asn')))
-from utils import get_schema_files, validate
+from utils import get_schema_files, validate  # noqa: E402
 
+os.chdir(script_dir)
 
 # Makes the SEQUENCE of OPTIONAL values ASN.1 compliant (using CHOICE)
 def tweak_assignments_sequence_of_options(state_obj):
@@ -19,21 +21,16 @@ def tweak_assignments_sequence_of_options(state_obj):
         else:
             items[i] = {"some": items[i]}
 
-
 def tweak_callback(json_obj):
     tweak_assignments_sequence_of_options(json_obj['pre_state'])
     tweak_assignments_sequence_of_options(json_obj['post_state'])
     return json_obj
 
+def validate_spec(spec_name):
+    print(f"[Validating '{spec_name}' spec]")
+    schema = asn1tools.compile_files(get_schema_files(spec_name == "full") + ["assurances.asn"], codec="jer")
+    for json_file in glob.glob(f"{spec_name}/*.json"):
+        validate(schema, json_file, "TestCase", tweak_callback)
 
-# Validate tiny
-schema = asn1tools.compile_files(get_schema_files(False) + ["assurances.asn"], codec="jer")
-for path in Path("tiny").iterdir():
-    if path.is_file() and path.suffix == ".json":
-        validate(schema, path, "TestCase", tweak_callback)
-
-# Validate full
-schema = asn1tools.compile_files(get_schema_files(True) + ["assurances.asn"], codec="jer")
-for path in Path("full").iterdir():
-    if path.is_file() and path.suffix == ".json":
-        validate(schema, path, "TestCase", tweak_callback)
+validate_spec("tiny")
+validate_spec("full")

authorizations/validate.py

@@ -1,23 +1,22 @@
 #!/usr/bin/env python
 
+import asn1tools
+import glob
 import os
 import sys
-from pathlib import Path
 
-import asn1tools
+script_dir = os.path.dirname(os.path.abspath(__file__))
+sys.path.append(os.path.abspath(os.path.join(script_dir, '../jam-types-asn')))
 
-sys.path.append(os.path.abspath(os.path.join(os.path.dirname(__file__), '../jam-types-asn')))
-from utils import get_schema_files, validate
+from utils import get_schema_files, validate  # noqa: E402
 
+os.chdir(script_dir)
 
-# Validate tiny
-schema = asn1tools.compile_files(get_schema_files(False) + ["authorizations.asn"], codec="jer")
-for path in Path("tiny").iterdir():
-    if path.is_file() and path.suffix == ".json":
-        validate(schema, path, "TestCase")
+def validate_spec(spec_name):
+    print(f"[Validating '{spec_name}' spec]")
+    schema = asn1tools.compile_files(get_schema_files(spec_name == "full") + ["authorizations.asn"], codec="jer")
+    for json_file in glob.glob(f"{spec_name}/*.json"):
+        validate(schema, json_file, "TestCase")
 
-# Validate full
-schema = asn1tools.compile_files(get_schema_files(True) + ["authorizations.asn"], codec="jer")
-for path in Path("full").iterdir():
-    if path.is_file() and path.suffix == ".json":
-        validate(schema, path, "TestCase")
+validate_spec("tiny")
+validate_spec("full")