Chromium Code Reviews| 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. |