| Index: lib/src/prism/tests/languages/mizar/variable_feature.test
|
| diff --git a/lib/src/prism/tests/languages/mizar/variable_feature.test b/lib/src/prism/tests/languages/mizar/variable_feature.test
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..87158a6c4787a63add525a15efcec9d1ecc0eb3f
|
| --- /dev/null
|
| +++ b/lib/src/prism/tests/languages/mizar/variable_feature.test
|
| @@ -0,0 +1,17 @@
|
| +P:
|
| +CQC_THE1:
|
| +PRE_FF:
|
| +NAT_1:
|
| +
|
| +----------------------------------------------------
|
| +
|
| +[
|
| + ["variable", "P"], ["punctuation", ":"],
|
| + ["variable", "CQC_THE1"], ["punctuation", ":"],
|
| + ["variable", "PRE_FF"], ["punctuation", ":"],
|
| + ["variable", "NAT_1"], ["punctuation", ":"]
|
| +]
|
| +
|
| +----------------------------------------------------
|
| +
|
| +Checks for variables.
|
|
|