commit | ab1d1e1ea409f3cc16f05279eec3fe3cf54798ba | [log] [tgz] |
---|---|---|
author | Lev Walkin <vlm@lionet.info> | Tue Oct 03 18:43:12 2017 -0700 |
committer | Lev Walkin <vlm@lionet.info> | Tue Oct 03 18:43:12 2017 -0700 |
tree | dd7aa336eaad8fbd7cba47c475d4fc57d88428c1 | |
parent | 68619bf6ef238c6208e9f0ee8cf6144a428da48c [diff] [blame] |
OER support and randomized testing for the REAL (floating point) type
diff --git a/tests/tests-randomized/bundles/04-REAL-bundle.txt b/tests/tests-randomized/bundles/04-REAL-bundle.txt new file mode 100644 index 0000000..dc659d1 --- /dev/null +++ b/tests/tests-randomized/bundles/04-REAL-bundle.txt
@@ -0,0 +1,2 @@ +-- Test the REAL (floating point) type. +T ::= REAL