Index: lib/src/prism/tests/languages/mizar/number_feature.test |
diff --git a/lib/src/prism/tests/languages/mizar/number_feature.test b/lib/src/prism/tests/languages/mizar/number_feature.test |
new file mode 100644 |
index 0000000000000000000000000000000000000000..1d85c6ba247a6f7236250c7f2f92219d34408d98 |
--- /dev/null |
+++ b/lib/src/prism/tests/languages/mizar/number_feature.test |
@@ -0,0 +1,15 @@ |
+0 |
+-2 |
+42 |
+ |
+---------------------------------------------------- |
+ |
+[ |
+ ["number", "0"], |
+ ["number", "-2"], |
+ ["number", "42"] |
+] |
+ |
+---------------------------------------------------- |
+ |
+Checks for numbers. |