| 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.
|
|
|