Index: lib/src/prism/tests/languages/mizar/parameter_feature.test |
diff --git a/lib/src/prism/tests/languages/mizar/parameter_feature.test b/lib/src/prism/tests/languages/mizar/parameter_feature.test |
new file mode 100644 |
index 0000000000000000000000000000000000000000..531dd17269b4cae120474ddd57b2ddfff35495c6 |
--- /dev/null |
+++ b/lib/src/prism/tests/languages/mizar/parameter_feature.test |
@@ -0,0 +1,17 @@ |
+$1 $2 $3 |
+$4 $5 $6 |
+$6 $7 $9 |
+$10 |
+ |
+---------------------------------------------------- |
+ |
+[ |
+ ["parameter", "$1"], ["parameter", "$2"], ["parameter", "$3"], |
+ ["parameter", "$4"], ["parameter", "$5"], ["parameter", "$6"], |
+ ["parameter", "$6"], ["parameter", "$7"], ["parameter", "$9"], |
+ ["parameter", "$10"] |
+] |
+ |
+---------------------------------------------------- |
+ |
+Checks for parameters. |