search

Brandon-Rozek / vspursuer

Verify Relevance Properties for Matrix Models with Implicative Connectives
2 stars 0 forks source link

Parse Error on Larger Matrices #5

Closed Brandon-Rozek closed 4 months ago

Brandon-Rozek commented 4 months ago

Report that parsing matrices with more than 11 elements in the carrier set leads to the following error:

Traceback (most recent call last):
  File "/Users/shawns/Downloads/matmod-main/parse_magic.py", line 281, in <module>
    solutions: List[Model] = parse_matrices(sys.stdin)
                             ^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/Users/shawns/Downloads/matmod-main/parse_magic.py", line 46, in parse_matrices
    results = parse_implication(infile, size)
              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/Users/shawns/Downloads/matmod-main/parse_magic.py", line 256, in parse_implication
    assert len(table) % (size + 1)**2 == 0
           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
AssertionError