Add workflow for testing

2023-06-22 18:51:24 +02:00
parent bf23b2c175
commit bbf8106e12
8 changed files with 44 additions and 19 deletions
--- a/examples/AB->AB.txt
+++ b/examples/AB->AB.txt
@@ -1,3 +1,2 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:be8038c19b487276c9895163bc913fc9cc89ec9d480d8afee566d742431bcba4
-size 419
+['A1', 'B1', 'A2', 'B2', 'C(A1,B1)', 'M(C(A1,B1),A2,B2)', 'C(A1,B2)', 'M(C(A1,B2),B1,A2)', '+']
+[('A1', 'C(A1,B1)'), ('A1', 'C(A1,B2)'), ('B1', 'C(A1,B1)'), ('B1', 'M(C(A1,B2),B1,A2)'), ('A2', 'M(C(A1,B1),A2,B2)'), ('A2', 'M(C(A1,B2),B1,A2)'), ('B2', 'M(C(A1,B1),A2,B2)'), ('B2', 'C(A1,B2)'), ('C(A1,B1)', 'M(C(A1,B1),A2,B2)'), ('M(C(A1,B1),A2,B2)', '+'), ('C(A1,B2)', 'M(C(A1,B2),B1,A2)'), ('M(C(A1,B2),B1,A2)', '+')]
--- a/examples/AB->ABBB.txt
+++ b/examples/AB->ABBB.txt
--- a/examples/AB->ABBBBB.txt
+++ b/examples/AB->ABBBBB.txt
--- a/examples/AB->ABBBBBBB.txt
+++ b/examples/AB->ABBBBBBB.txt
--- a/examples/ABAB->ABAB.txt
+++ b/examples/ABAB->ABAB.txt
--- a/examples/ABAB->ABC.txt
+++ b/examples/ABAB->ABC.txt