aboutsummaryrefslogtreecommitdiff
path: root/tests/expr_small.test
diff options
context:
space:
mode:
authorNathan Reiner <nathan@nathanreiner.xyz>2025-05-14 16:39:23 +0200
committerNathan Reiner <nathan@nathanreiner.xyz>2025-05-14 16:39:23 +0200
commit9c0f41abba755ae000b058af137b2925b571d6a1 (patch)
treed9b44d3f13b3a8d14f1c0c84961f286484bc40c3 /tests/expr_small.test
parent3fa83926b88a8000c3183377c0ddfe3222503c76 (diff)
add new grammar tests
Diffstat (limited to 'tests/expr_small.test')
-rw-r--r--tests/expr_small.test10
1 files changed, 0 insertions, 10 deletions
diff --git a/tests/expr_small.test b/tests/expr_small.test
deleted file mode 100644
index 46e1ec4..0000000
--- a/tests/expr_small.test
+++ /dev/null
@@ -1,10 +0,0 @@
-(a)*(a*((b+(b+b*a*(b))*b*a*b)+(((((b)+b+b)+b*b+a+b)*b+b*(a*b*b+(b)*a+b*b*b+b*b*a+a*(b)*(a))+a*a)*((b*b)*b*b*a)*a*b*a+a*(a+(b+a*(a*b*(b+a)))*(b*b)*b*a*a*(b*a)+(b*a)+(b*b*b*b*((((a+a*(b)*a+((a)*(b))*a+b*b))*b+b*b*a+a)+((((a*b*a*(a)+(b+a*a*a*a*a+(b*(b)*b*b))+b*b)*(b+a)*b*a*a))*b+(b*a)+b*(a)*(b+((b))*a)*(b*((a+a+a))*a+(b+(a*a)*a))*b*(a*a))*a+((a+b*b)+(a+b*a*a+a)*b+(a)*(b)*a*b*b*a))*b*(b*b+a*(((((a*a)*(a+a+(a))+a)*(a)*(a*b*b+a)*b*b*a+a)+a*((b*a+a+(a*(b*b)+a+(a)+(b))+(a*b*a))+(((a+b+b+a*a))+a+b)+b*b)*a*a)*b)+(b+(a+a)*(b)*a))))+a)))+b*b*b*a+(a)
-a*a*(((a+b*b)*b+(b*b*(b*a*a*a*a))*((b*a*b+b*b*a*a*a+(b+(b*((b*b*(b*b*a)*a)*a+(b*a+b*(b*b)*b*b)+(b+((a*b)+((a*b)*a+((a+b*b)*b+b)*(a*a)*(b))))))*(((a+(b*a*b*(a+b*a+b*a))+(a*b+b)*(b)+b)+a*a*b*(b)*a+a*a+(a+((a*a+(a*b+b)*a*a+b*a+b*a*a*a*(b+(b+a+a*((a+b*(a*a*((a*a+a*a*b*a*(b*a)*a+a+b*b*(b+a*b*a+b))+b)*b+(b*b*a+b*(a+a))*(a))*b)*b)+b+a+a*(a+a)*a*a*b)*a*(b))*a))*(b)*b*a)*a*a*a*(b+a)*b)*b+(a*a)*a+b*b+a*b*((a*a+b*(((a*b*b*b+b*b*b*a+(b)*a)*((a)+b+b)+(b+(b*a*a))+b*a*b+(((b)*a)*b)*(b*a*b)*a+b)*a*b+a*a+a)+b)+(b+b+a*a)*a)+a*b*b+a*b*a+a*a)*a)+b)+(a*a*b)*b)+b)+a)+((b)+b)
-(a+((a*a*(((a)*(a*a*((a*(a*(b+b+b)+a+b*(b+a*a+b+a*b*((b)*((b+(b*a*a)+a)*b+b)))*b+b)*((a+a+b+b*a*b+b*(b+b)*(a*((a*b)*a+a*b)))+((((a*b*b))*a)*a)+(b*((b)+a*(((a*b+a)+a*((a*a+a*a)))+(b*b*a)+(b)+(a*a+a+a*a*(b*(b*b+b+b*(a*b)+b)*a*((b+(a*b)*((b)*a*a))*a*(a+((a)+b*a*b+(a)+(a*((b*b*b)*b)*a*(((b*a)*b+b*b*(a*b*(((b*a+a)*b)+(a*a+a)*b))*a))*(b))+a+(b*(b*a)+b)*b+a)*(a+a)*(b+a)*b)+b*b+a*b)*b*(a*(b*b))+a+b)*a*b*b)*b))))*a)*b)+a*a)*b*b))*a))*a)*b+a+b*(b+b*b*b*b)*b+((a+a+a*(a*(b*a+b+(((a)*b+b*b*b*a+a)))+a*b*a+b*a+(b*(a)*b*(a)*(a+(a)+a+a+b*b+((b+((b*b+b)*a)*a)))+(a*a)))+(b+a*a*a*b+b+((a*(b))+((b)*a+a+(b)+b)+a))))*(b+(b)+(a+b*a*b+b*(b)*b)*a+(a)+a)+b*a
-((a*a+(a)*a*a*(a*(b*a*b*b*a+b*b*((a)*((b)*(b+b)*(((b)*(b)+a*(a*(b*b)*b*(b*b+b)*b*a)*a)*b*b*((a*b)+a*(b+b*a*((b*(b+a)+(b)*((b*a)+((b)*a*((((a)*(a))+(a)+(((a*b+b*b)*a*a+(b*b)*a+(b+b*b+(b)*a*b*(a+a*b+b))+a*a)))*b*(((b+b+a*b)*b+(a+a+a*a*a)*a+a+b*b)*(a))*b*(a))+b+a*((b+a)*a+((a)+(a*(b*b+((b*b+(a*b+a*b+b+a+b+a*(a)*b*b+b+a*b*a)+((b+(b+(b))*((b+a*a)+((b)))))*a+a*(b*b+a)))*((b))+b)*((b*a+b*a)*(b*a*b)+a+(b*((b)*b*a*b)*a)+a*b)*(a)*a))+b*b)+a+b*b*a*b+b*a*a+(a)))*b+b*a)+a*(a))*a+b*a)*(((b*a+a))*(a*b*b*a*a+a)+b*b+b*a*a)*((b))*a+((a*b))*(a+(a*a*((a*a*b)+b)*a*b))*a))*b))+(b+(b*a*a+a+(((b*(b)+a*a)*b)*b*b)*a*b)))+a*(b))*a*a*(a)))+b*b
-b+a*(a*(b*a)+(b*b*((b*b+a*a*a*a*b+a)*a)*(a+b+b)+b)+a)*a*((b*((a*a))*((a+a+a)*((((b)*(((b+a)+(b*b*a)*((b*b*b))*a)*a*(a*b)*((a*a*b*b+b*a+a)*b)+(b*a*((a))*a*b*a*(a*(((((a*a*(a)*b*b*(((b))+((b*a)+(b*((a*a*b))))*a*a)+b)*a*b)))+a+(a*a+(a)))*a))+b+a)*b*b*b*a*(a)+(b*((a+b*a)+(a+b*a)+b))+b*((a*a*b*a*(a+b+b*b*a)*(((b*b+a))+(((b+((a))*a*a)*a))+a+(a*(b+a)*a+(b+(a*(b)*b)+b*(a*a+a))*a))*b+(b*(b*(b+a*a+((a*a*b*b))*a))+b))*b+b+a*a)+b*a*(b+b*(((a+a)*b*b*(a))*((((b)*((b*a*b)+b))*(a*a*a*b+a)+b*a*b+a)+a*b+((b*(b*((b*a*b*a*b*a*((b)*a*a)*a+a)+b*b*b*a*(b+a+b+a)*b)*(b)*(b*b)+a*a+a+b*a*(b*a*a+a*(b*(a*a*((a))*b)*a*(b)))))*b*(b+a*b)*(b*a)+(b+a*(b)*(a+b*(a+a)))+((((b)*((b+b+a)*a*(a*b+a*a*(a)))*b*b*a*b)*(a)*b+b*b*b*(b*a))*b*b*a*((b+a*a))*(a*(a)+a+(a*(b*b*a*(b)*a*a*b*(b*b*b))))+a*a+a*(b))+b))*a)))+a)+a)*a+b+((a+b+a)*b*(b+(((a))+b*b+(b*(a+b)*b)*a*(a*(b+a+(a)*a*a+a))*((a)*a*b)+b*b*b))+a*a+a+a+(a)+(b)*a+(a)+a*a+b+a*a*a))*a)*b)
-(b*b*(b*a+b)+(a+a+b*b*b+a+(a*(((b*(b*b+(b)*a+b*b)+a*(b*b*a+((((b*(a))+a)*a)*((a*a*b)*b+(b+a*a)*a))*(a+b+a*(b*b))*b)+b)*b*a*(b*(b*((b*b+a*b+b)*b)))*b+((b*a*a+b*a+(b)*a*b))*b*(b*(((((b+b*(b*(b)*(a))*b*b)*(b*b*a)*(b+(b+(a))*b*a*(a*a)*a*b*a+(((b*(b+(b*a+a*a*a)+b+a+(b)+a*b*b))*a)*b*(a*b)+((b))+b*(b*a+b)*(b)*b*b))*b*((a)*b)*(b)*a+b+a*((a*b))+b*a*a*b)+a*b+b)+a)+((b+b)+b+(a+(b*((a+a*b))*(b*((a*a*b*b+b)*b))*a*a*a*b*a)*a+(a*a*b+((a*b)*a*(a)*(b)+(b+a*b*(a*b+a*((b)*a+b*a*b+b)+((a+a*a+a)*(a))*b)*b*a*(b+(a))+a+(a+a))*b*a)+b)))+a+a*b*b*a*(b*b))+b+b*a*a)*a+a*b*b)+a*b)*(a)+a)*a*b+((a+b+b)*b)+b*a+b)*b*((b*((b)*a+(a*a)+(b)+(b*((a*b))*b)))*a*a*b*b)*(b*b))
-b+b+b*b*(((b*(a))*a+(b*b+b*a*((b*b*b+b)*a*(a+(a)+(b*b*a+a+a))*(b*(b)*b)*b)+(a))*b))*a*(((b*a+(a)*((b+b+((a*(a+b*b))*a+b)*b*b*b*b*a*a+((((a*a+a+a*b+b)*b)+b+a)*a*a*a*(b)*a+a*b*a*b*(b)))))*a*b)*b*a*(a))*a+((a*a*(a*((b+a*(a*b+(b*b)*a*b)+b)+((a*b*(b)+b)*a*b*b))*((a)*b*a*((b)+b))*b))+b)*b+(b)*(a+(a*(a+(a)*a+b*a+b)*b*b*a*(b*(b)*b*b*a*(b+(a))+a+(((a+(a*(b*a)*(a*a*(a*b*b)*(a)*a+(b)*(a+b*(b))+b+(a*(a)))*b*(a+a*b*(a*a*(b*a+b*b*b+(b*(a*b*a)*(a*(b+b+a)+a*a))+a*(a)+b*(b+a*a)))*(b)*(a+a+b))*b*a*a)*a*(b*a+(a*a*a*b*a*a)+b)+(b*b*(b*b*(b))*a*b*a+b+b*b*a)*a*a+b)+b)))*b)*b*b*a*b)*a
-a*b*(b+(((a*a+b*b+b*b+(b)*b*(b)*b+b+(b+b+(a*(b)+(b*a*b*a+(b)*b+b+b*(a*b)+b)*b)*(b+(a+a*a+(a*a*(a)+a*a*(a+(a+a))*(b*(b)*b*(a*a*a*b)*b*b)))*(a+b+((b+(b+a*(b+(b*b*(b)+a*b*a*(a)*(a*a+a*((((b*a*(b*b*a*b+a*(a*a)*a*a+b*((b*(b*b)))*(b+(b)))+b*b*b*b*b))*((b*b*a*b)+a+b*b)*a+b)*a)+a*a+a*a+b*a*a+a*a*(a*b)))*a)+b+((a)*a*b*(a)+a)+(b*b))))+(((b))))+b)*(b*b+b)))*(a)*a)*b+(((b*(b*b)+a+b))*a*b)*b*b*a*a*(b+b*b*(a)+a*a*b))*a*b*a*((b+(a)+b+(b*b+b*b+(b*b+b*a)+a+b*a*b*((((b*(b+a*(a)*b*a*(b*b)*((((b*a*a*a)*a))*a*b*a)))+b))*a))*a+b)+b+b)*a*b)*(a*b*b)+b+(a)*a*b
-b+((a*a+b)*b+a*((a*b*b+a+a*(((a+b)+a))*b)))*(a+b*b+(a+b)*b*b*((b*a)*((a+a*((a*a+a)*b)*b)*(b)*b+b)+b*(((b*((b+b+b*b*(b+a+(((a)+b)+(b)*((b))*b*b+a)+a*b*a)*a*a+b*a*(b+a+a*b+b)))))*b*b*a)*((b*b*a*a)*b*a)*b)*(a+a*b)+(b*a+(((a*(a)+((b))*a)*(a+(b*a*(((a*a*a*a))*((b*a))))*(a*b+(a+((b+(b))*(b)*a+a*(a*b)+b)))*(a)*(a+b*b))*(b)+a*b*((b+a)*b*(b*((b+b)*b))+a))*(b*b+b*b*((a))+b)*(b)+a)*b*a*a*a*a))+b+a*b*b*(((a+(a*b))+a)*b*a*(a+a*a+b)*b*((b+b*b*a+b))*b+((b)*a*(b*b)*(a*a*(a+b)*(b)*(b)*a*(b)*b*b)+a*a*(a*a)+((b+a*b+b*a)*(a+a))+a+a*b+a*b*a*a*a*a*(a*(b*(a*((b))*a+(a)+(b))*(a)*b*b+(a*(a)*a)*b)))*b*b+b+b*b*a*a+b*a)
-a+a*(b+((a+(b+((a+b+a)+a+a*(b+a+a*a*(a)*a)*b*b*a+b)*a+(a*a)*a)*b+((b*a+((((b*a*b*(((a*a)*b+b+(a+a*((a*b+b)+((((a*b*b+a*b*(a*(b+a*b+b))*a*a)+(((b*(((a*(a+b*b*a)))+a+a*b*b+b+b*a+a*b+(b*b)+b)+a*a*(a)*(a+a*b+(a*a+(b)*b+b*b+(b*a*a*b*(a)*b*a*a*b*a*b*b*a))+a*(a*(a+(a+a*((a+((b)*a*a)*b+(a*(a)+b+((b*a*a+b*(a*a)*(b)))+b*b))+(a*a*(b*b*b*a+(((a)+(a*(a*b+b+a)+b+b*a*b+b+a*a+b)))+(a)+b+(((a*b*b*b*b)+(a)))+b*a*a)*b*b))))*b)+a+a)*(a+a)))*(a*((a+a*a+b)*b)+b+b*a)*a))*a*a*a)*a*(a*(a*a+a*(a*b)*(b)*a)+(b*a)))*a))*b+(a+b*((b+b*b)+((b+b))+b+a*a)*b)+a*(((a+(a*a)*(a*b*(b*b*a*b*b*b*(b*a*b)*((b*b*a+(a+a*b+b*a*b)))*a*a)))*b))*(a*b*b))*(b+b+(a)*(a+(((b)*b*a)*a+b*b*b)*(b*b+a)+b*b)*a*b*(a)*b*a+(a*a*a)*a)*(b)*a*a))+b*b+a+a*b)*b)*a*(b)+b))+((a)+a)*a*a)+a+(b+a)*(b+b)*b*a*b*b+b*b*b*a)+b*(b*a+b))*(a)+b+(a+b)+b)*a+b*b*a+b